Method and apparatus for decoding imaging related to sign data hiding

ABSTRACT

An image decoding method performed by a decoding apparatus according to the present document comprises the steps of: obtaining a sign data hiding availability flag indicating whether or not sign data hiding is available for a current slice; obtaining a TSRC availability flag indicating whether or not TSRC is available for a transform skip block of the current slice; obtaining residual coding information about the transform skip block on the basis of the TSRC availability flag; deriving a residual sample for the transform skip block on the basis of the residual coding information; and generating a reconstruction picture on the basis of the residual sample, wherein the TSRC availability flag is obtained on the basis of the sign data hiding availability flag.

BACKGROUND OF DISCLOSURE Field of the Disclosure

This document relates to image coding technology, and more specifically, to a video decoding method and apparatus in which flag information about whether TSRC is enabled/disabled is coded based on flag information about whether SDH is enabled when coding residual data of a block in an image coding system.

Related Art

Recently, demand for high-resolution, high-quality images, such as High Definition (HD) images and Ultra High Definition (UHD) images, has been increasing in various fields. As the image data has high resolution and high quality, the amount of information or bits to be transmitted increases relative to the legacy image data. Therefore, when image data is transmitted using a medium such as a conventional wired/wireless broadband line or image data is stored using an existing storage medium, the transmission cost and the storage cost thereof are increased.

Accordingly, there is a need for a highly efficient image compression technique for effectively transmitting, storing, and reproducing information of high-resolution and high-quality images.

SUMMARY

The present disclosure provides a method and apparatus for improving image coding efficiency.

The present disclosure also provides a method and apparatus for improving residual coding efficiency.

According to an embodiment of this document, an image decoding method performed by a decoding apparatus is provided. The method includes obtaining a sign data hiding enabled flag for whether sign data hiding is enabled for a current slice, obtaining a Transform Skip Residual Coding (TSRC) enabled flag for whether TSRC is enabled for a transform skip block in the current slice, obtaining residual coding information for the transform skip block based on the TSRC enabled flag, deriving a residual sample for the transform skip block based on the residual coding information, and generating a reconstructed picture based on the residual sample, wherein the TSRC enabled flag is obtained based on the sign data hiding enabled flag.

According to another embodiment of this document, a decoding apparatus for performing image decoding is provided. The decoding apparatus includes an entropy decoder configured to obtain a sign data hiding enabled flag for whether sign data hiding is enabled for a current slice, to obtain a Transform Skip Residual Coding (TSRC) enabled flag for whether TSRC is enabled for a transform skip block in the current slice, and to obtain residual coding information for the transform skip block based on the TSRC enabled flag, a residual processor configured to derive a residual sample for the transform skip block based on the residual coding information, and an adder configured to generate a reconstructed picture based on the residual sample, wherein the TSRC enabled flag is obtained based on the sign data hiding enabled flag.

According to still another embodiment of this document, a video encoding method which is performed by an encoding apparatus is provided. The method includes encoding a sign data hiding enabled flag for whether sign data hiding is enabled for a current slice, encoding a Transform Skip Residual Coding (TSRC) enabled flag for whether TSRC is enabled for a transform skip block in the current slice based on the sign data hiding enabled flag, encoding residual information for the transform skip block based on the TSRC enabled flag, and generating a bitstream including the sign data hiding enabled flag, the TSRC enabled flag and the residual information.

According to still another embodiment of this document, a video encoding apparatus is provided. The encoding apparatus includes an entropy encoder configured to encode a sign data hiding enabled flag for whether sign data hiding is enabled for a current slice, to encode a Transform Skip Residual Coding (TSRC) enabled flag for whether TSRC is enabled for a transform skip block in the current slice based on the sign data hiding enabled flag, to encode residual information for the transform skip block based on the TSRC enabled flag, and to generate a bitstream including the sign data hiding enabled flag, the TSRC enabled flag and the residual information.

According to still another embodiment of this document, there is provided a computer-readable digital storage medium that stores a bitstream including image information which causes a decoding apparatus to perform an image decoding method. In the computer-readable digital storage medium, the image decoding method includes obtaining a sign data hiding enabled flag for whether sign data hiding is enabled for a current slice, obtaining a Transform Skip Residual Coding (TSRC) enabled flag for whether TSRC is enabled for a transform skip block in the current slice, obtaining residual coding information for the transform skip block based on the TSRC enabled flag, deriving a residual sample for the transform skip block based on the residual coding information, and generating a reconstructed picture based on the residual sample, wherein the TSRC enabled flag is obtained based on the sign data hiding enabled flag.

According to this document, it is possible to improve efficiency of residual coding.

According to this document, the TSRC enabled flag can be signaled depending on the sign data hiding enabled flag, and through this, the coding efficiency can be improved by preventing sign data hiding from being used for the transform skip block for which TSRC is not enabled, and the overall residual coding efficiency can be improved by reducing the bit amount to be coded.

According to this document, the TSRC enabled flag can be signaled depending on the transform skip enabled flag and the sign data hiding enabled flag, and through this, the coding efficiency can be improved by preventing sign data hiding from being used for the transform skip block for which TSRC is not enabled, and the overall residual coding efficiency can be improved by reducing the bit amount to be coded.

BRIEF DESCRIPTION OF THE DRAWINGS

FIG. 1 briefly illustrates an example of a video/image coding device to which embodiments of the present disclosure are applicable.

FIG. 2 is a schematic diagram illustrating a configuration of a video/image encoding apparatus to which the embodiment(s) of the present disclosure may be applied.

FIG. 3 is a schematic diagram illustrating a configuration of a video/image decoding apparatus to which the embodiment(s) of the present disclosure may be applied.

FIG. 4 exemplarily shows context-adaptive binary arithmetic coding (CABAC) for encoding a syntax element.

FIG. 5 is a diagram showing exemplary transform coefficients within a 4×4 block.

FIG. 6 briefly illustrates an image encoding method performed by an encoding apparatus according to the present disclosure.

FIG. 7 briefly illustrates an encoding apparatus for performing an image encoding method according to the present disclosure.

FIG. 8 briefly illustrates an image decoding method performed by a decoding apparatus according to the present disclosure.

FIG. 9 briefly illustrates a decoding apparatus for performing an image decoding method according to the present disclosure.

FIG. 10 illustrates a structural diagram of a contents streaming system to which the present disclosure is applied.

DESCRIPTION OF EMBODIMENTS

The present disclosure may be modified in various forms, and specific embodiments thereof will be described and illustrated in the drawings. However, the embodiments are not intended for limiting the disclosure. The terms used in the following description are used to merely describe specific embodiments but are not intended to limit the disclosure. An expression of a singular number includes an expression of the plural number, so long as it is clearly read differently. The terms such as “include” and “have” are intended to indicate that features, numbers, steps, operations, elements, components, or combinations thereof used in the following description exist and it should be thus understood that the possibility of existence or addition of one or more different features, numbers, steps, operations, elements, components, or combinations thereof is not excluded.

Meanwhile, elements in the drawings described in the disclosure are independently drawn for the purpose of convenience for explanation of different specific functions, and do not mean that the elements are embodied by independent hardware or independent software. For example, two or more elements of the elements may be combined to form a single element, or one element may be partitioned into plural elements. The embodiments in which the elements are combined and/or partitioned belong to the disclosure without departing from the concept of the disclosure.

Hereinafter, embodiments of the present disclosure will be described in detail with reference to the accompanying drawings. In addition, like reference numerals are used to indicate like elements throughout the drawings, and the same descriptions on the like elements will be omitted.

FIG. 1 briefly illustrates an example of a video/image coding device to which embodiments of the present disclosure are applicable.

Referring to FIG. 1 , a video/image coding system may include a first device (source device) and a second device (receiving device). The source device may deliver encoded video/image information or data in the form of a file or streaming to the receiving device via a digital storage medium or network.

The source device may include a video source, an encoding apparatus, and a transmitter. The receiving device may include a receiver, a decoding apparatus, and a renderer. The encoding apparatus may be called a video/image encoding apparatus, and the decoding apparatus may be called a video/image decoding apparatus. The transmitter may be included in the encoding apparatus. The receiver may be included in the decoding apparatus. The renderer may include a display, and the display may be configured as a separate device or an external component.

The video source may acquire video/image through a process of capturing, synthesizing, or generating the video/image. The video source may include a video/image capture device and/or a video/image generating device. The video/image capture device may include, for example, one or more cameras, video/image archives including previously captured video/images, and the like. The video/image generating device may include, for example, computers, tablets and smartphones, and may (electronically) generate video/images. For example, a virtual video/image may be generated through a computer or the like. In this case, the video/image capturing process may be replaced by a process of generating related data.

The encoding apparatus may encode input image/image. The encoding apparatus may perform a series of procedures such as prediction, transform, and quantization for compression and coding efficiency. The encoded data (encoded video/image information) may be output in the form of a bit stream.

The transmitter may transmit the encoded image/image information or data output in the form of a bit stream to the receiver of the receiving device through a digital storage medium or a network in the form of a file or streaming. The digital storage medium may include various storage mediums such as USB, SD, CD, DVD, Blu-ray, HDD, SSD, and the like. The transmitter may include an element for generating a media file through a predetermined file format and may include an element for transmission through a broadcast/communication network. The receiver may receive/extract the bit stream and transmit the received bit stream to the decoding apparatus.

The decoding apparatus may decode the video/image by performing a series of procedures such as dequantization, inverse transform, and prediction corresponding to the operation of the encoding apparatus.

The renderer may render the decoded video/image. The rendered video/image may be displayed through the display.

Present disclosure relates to video/image coding. For example, the methods/embodiments disclosed in the present disclosure may be applied to a method disclosed in the versatile video coding (VVC), the EVC (essential video coding) standard, the AOMedia Video 1 (AV1) standard, the 2nd generation of audio video coding standard (AVS2), or the next generation video/image coding standard (e.g., H.267 or H.268, etc.).

Present disclosure presents various embodiments of video/image coding, and the embodiments may be performed in combination with each other unless otherwise mentioned.

In the present disclosure, video may refer to a series of images over time. Picture generally refers to a unit representing one image in a specific time zone, and a subpicture/slice/tile is a unit constituting part of a picture in coding. The subpicture/slice/tile may include one or more coding tree units (CTUs). One picture may consist of one or more subpictures/slices/tiles. One picture may consist of one or more tile groups. One tile group may include one or more tiles. A brick may represent a rectangular region of CTU rows within a tile in a picture. A tile may be partitioned into multiple bricks, each of which consisting of one or more CTU rows within the tile. A tile that is not partitioned into multiple bricks may be also referred to as a brick. A brick scan is a specific sequential ordering of CTUs partitioning a picture in which the CTUs are ordered consecutively in CTU raster scan in a brick, bricks within a tile are ordered consecutively in a raster scan of the bricks of the tile, and tiles in a picture are ordered consecutively in a raster scan of the tiles of the picture. In addition, a subpicture may represent a rectangular region of one or more slices within a picture. That is, a subpicture contains one or more slices that collectively cover a rectangular region of a picture. A tile is a rectangular region of CTUs within a particular tile column and a particular tile row in a picture. The tile column is a rectangular region of CTUs having a height equal to the height of the picture and a width specified by syntax elements in the picture parameter set. The tile row is a rectangular region of CTUs having a height specified by syntax elements in the picture parameter set and a width equal to the width of the picture. A tile scan is a specific sequential ordering of CTUs partitioning a picture in which the CTUs are ordered consecutively in CTU raster scan in a tile whereas tiles in a picture are ordered consecutively in a raster scan of the tiles of the picture. A slice includes an integer number of bricks of a picture that may be exclusively contained in a single NAL unit. A slice may consist of either a number of complete tiles or only a consecutive sequence of complete bricks of one tile. Tile groups and slices may be used interchangeably in the present disclosure. For example, in the present disclosure, a tile group/tile group header may be called a slice/slice header.

A pixel or a pel may mean a smallest unit constituting one picture (or image). Also, ‘sample’ may be used as a term corresponding to a pixel. A sample may generally represent a pixel or a value of a pixel, and may represent only a pixel/pixel value of a luma component or only a pixel/pixel value of a chroma component.

A unit may represent a basic unit of image processing. The unit may include at least one of a specific region of the picture and information related to the region. One unit may include one luma block and two chroma (e.g., cb, cr) blocks. The unit may be used interchangeably with terms such as block or area in some cases. In a general case, an M×N block may include samples (or sample arrays) or a set (or array) of transform coefficients of M columns and N rows.

In the present description, “A or B” may mean “only A”, “only B” or “both A and B”. In other words, in the present specification, “A or B” may be interpreted as “A and/or B”. For example, “A, B or C” herein means “only A”, “only B”, “only C”, or “any and any combination of A, B and C”.

A slash (/) or a comma (comma) used in the present description may mean “and/or”. For example, “A/B” may mean “A and/or B”. Accordingly, “A/B” may mean “only A”, “only B”, or “both A and B”. For example, “A, B, C” may mean “A, B, or C”.

In the present description, “at least one of A and B” may mean “only A”, “only B”, or “both A and B”. In addition, in the present description, the expression “at least one of A or B” or “at least one of A and/or B” may be interpreted the same as “at least one of A and B”.

In addition, in the present description, “at least one of A, B and C” means “only A”, “only B”, “only C”, or “any combination of A, B and C”. Also, “at least one of A, B or C” or “at least one of A, B and/or C” may mean “at least one of A, B and C”.

In addition, parentheses used in the present description may mean “for example”. Specifically, when “prediction (intra prediction)” is indicated, “intra prediction” may be proposed as an example of “prediction”. In other words, “prediction” in the present description is not limited to “intra prediction”, and “intra prediction” may be proposed as an example of “prediction”. Also, even when “prediction (i.e., intra prediction)” is indicated, “intra prediction” may be proposed as an example of “prediction”.

In the present description, technical features that are individually described within one drawing may be implemented individually or may be implemented at the same time.

The following drawings were created to explain a specific example of the present description. Since the names of specific devices described in the drawings or the names of specific signals/messages/fields are presented by way of example, the technical features of the present description are not limited to the specific names used in the following drawings.

FIG. 2 is a schematic diagram illustrating a configuration of a video/image encoding apparatus to which the embodiment(s) of the present disclosure may be applied. Hereinafter, the video encoding apparatus may include an image encoding apparatus.

Referring to FIG. 2 , the encoding apparatus 200 includes an image partitioner 210, a predictor 220, a residual processor 230, and an entropy encoder 240, an adder 250, a filter 260, and a memory 270. The predictor 220 may include an inter predictor 221 and an intra predictor 222. The residual processor 230 may include a transformer 232, a quantizer 233, a dequantizer 234, and an inverse transformer 235. The residual processor 230 may further include a subtractor 231. The adder 250 may be called a reconstructor or a reconstructed block generator. The image partitioner 210, the predictor 220, the residual processor 230, the entropy encoder 240, the adder 250, and the filter 260 may be configured by at least one hardware component (e.g., an encoder chipset or processor) according to an embodiment. In addition, the memory 270 may include a decoded picture buffer (DPB) or may be configured by a digital storage medium. The hardware component may further include the memory 270 as an internal/external component.

The image partitioner 210 may partition an input image (or a picture or a frame) input to the encoding apparatus 200 into one or more processors. For example, the processor may be called a coding unit (CU). In this case, the coding unit may be recursively partitioned according to a quad-tree binary-tree ternary-tree (QTBTTT) structure from a coding tree unit (CTU) or a largest coding unit (LCU). For example, one coding unit may be partitioned into a plurality of coding units of a deeper depth based on a quad tree structure, a binary tree structure, and/or a ternary structure. In this case, for example, the quad tree structure may be applied first and the binary tree structure and/or ternary structure may be applied later. Alternatively, the binary tree structure may be applied first. The coding procedure according to the present disclosure may be performed based on the final coding unit that is no longer partitioned. In this case, the largest coding unit may be used as the final coding unit based on coding efficiency according to image characteristics, or if necessary, the coding unit may be recursively partitioned into coding units of deeper depth and a coding unit having an optimal size may be used as the final coding unit. Here, the coding procedure may include a procedure of prediction, transform, and reconstruction, which will be described later. As another example, the processor may further include a prediction unit (PU) or a transform unit (TU). In this case, the prediction unit and the transform unit may be split or partitioned from the aforementioned final coding unit. The prediction unit may be a unit of sample prediction, and the transform unit may be a unit for deriving a transform coefficient and/or a unit for deriving a residual signal from the transform coefficient.

The unit may be used interchangeably with terms such as block or area in some cases. In a general case, an M×N block may represent a set of samples or transform coefficients composed of M columns and N rows. A sample may generally represent a pixel or a value of a pixel, may represent only a pixel/pixel value of a luma component or represent only a pixel/pixel value of a chroma component. A sample may be used as a term corresponding to one picture (or image) for a pixel or a pel.

In the encoding apparatus 200, a prediction signal (predicted block, prediction sample array) output from the inter predictor 221 or the intra predictor 222 is subtracted from an input image signal (original block, original sample array) to generate a residual signal residual block, residual sample array), and the generated residual signal is transmitted to the transformer 232. In this case, as shown, a unit for subtracting a prediction signal (predicted block, prediction sample array) from the input image signal (original block, original sample array) in the encoder 200 may be called a subtractor 231. The predictor may perform prediction on a block to be processed (hereinafter, referred to as a current block) and generate a predicted block including prediction samples for the current block. The predictor may determine whether intra prediction or inter prediction is applied on a current block or CU basis. As described later in the description of each prediction mode, the predictor may generate various information related to prediction, such as prediction mode information, and transmit the generated information to the entropy encoder 240. The information on the prediction may be encoded in the entropy encoder 240 and output in the form of a bit stream.

The intra predictor 222 may predict the current block by referring to the samples in the current picture. The referred samples may be located in the neighborhood of the current block or may be located apart according to the prediction mode. In the intra prediction, prediction modes may include a plurality of non-directional modes and a plurality of directional modes. The non-directional mode may include, for example, a DC mode and a planar mode. The directional mode may include, for example, 33 directional prediction modes or 65 directional prediction modes according to the degree of detail of the prediction direction. However, this is merely an example, more or less directional prediction modes may be used depending on a setting. The intra predictor 222 may determine the prediction mode applied to the current block by using a prediction mode applied to a neighboring block.

The inter predictor 221 may derive a predicted block for the current block based on a reference block (reference sample array) specified by a motion vector on a reference picture. Here, in order to reduce the amount of motion information transmitted in the inter prediction mode, the motion information may be predicted in units of blocks, sub-blocks, or samples based on correlation of motion information between the neighboring block and the current block. The motion information may include a motion vector and a reference picture index. The motion information may further include inter prediction direction (L0 prediction, L1 prediction, Bi prediction, etc.) information. In the case of inter prediction, the neighboring block may include a spatial neighboring block present in the current picture and a temporal neighboring block present in the reference picture. The reference picture including the reference block and the reference picture including the temporal neighboring block may be the same or different. The temporal neighboring block may be called a collocated reference block, a co-located CU (colCU), and the like, and the reference picture including the temporal neighboring block may be called a collocated picture (colPic). For example, the inter predictor 221 may configure a motion information candidate list based on neighboring blocks and generate information indicating which candidate is used to derive a motion vector and/or a reference picture index of the current block. Inter prediction may be performed based on various prediction modes. For example, in the case of a skip mode and a merge mode, the inter predictor 221 may use motion information of the neighboring block as motion information of the current block. In the skip mode, unlike the merge mode, the residual signal may not be transmitted. In the case of the motion vector prediction (MVP) mode, the motion vector of the neighboring block may be used as a motion vector predictor and the motion vector of the current block may be indicated by signaling a motion vector difference.

The predictor 220 may generate a prediction signal based on various prediction methods described below. For example, the predictor may not only apply intra prediction or inter prediction to predict one block but also simultaneously apply both intra prediction and inter prediction. This may be called combined inter and intra prediction (CIIP). In addition, the predictor may be based on an intra block copy (IBC) prediction mode or a palette mode for prediction of a block. The IBC prediction mode or palette mode may be used for content image/video coding of a game or the like, for example, screen content coding (SCC). The IBC basically performs prediction in the current picture but may be performed similarly to inter prediction in that a reference block is derived in the current picture. That is, the IBC may use at least one of the inter prediction techniques described in the present disclosure. The palette mode may be considered as an example of intra coding or intra prediction. When the palette mode is applied, a sample value within a picture may be signaled based on information on the palette table and the palette index.

The prediction signal generated by the predictor (including the inter predictor 221 and/or the intra predictor 222) may be used to generate a reconstructed signal or to generate a residual signal. The transformer 232 may generate transform coefficients by applying a transform technique to the residual signal. For example, the transform technique may include at least one of a discrete cosine transform (DCT), a discrete sine transform (DST), a Karhunen-loève transform (KLT), a graph-based transform (GBT), or a conditionally non-linear transform (CNT). Here, the GBT means transform obtained from a graph when relationship information between pixels is represented by the graph. The CNT refers to transform generated based on a prediction signal generated using all previously reconstructed pixels. In addition, the transform process may be applied to square pixel blocks having the same size or may be applied to blocks having a variable size rather than square.

The quantizer 233 may quantize the transform coefficients and transmit them to the entropy encoder 240 and the entropy encoder 240 may encode the quantized signal (information on the quantized transform coefficients) and output a bit stream. The information on the quantized transform coefficients may be referred to as residual information. The quantizer 233 may rearrange block type quantized transform coefficients into a one-dimensional vector form based on a coefficient scanning order and generate information on the quantized transform coefficients based on the quantized transform coefficients in the one-dimensional vector form. Information on transform coefficients may be generated. The entropy encoder 240 may perform various encoding methods such as, for example, exponential Golomb, context-adaptive variable length coding (CAVLC), context-adaptive binary arithmetic coding (CABAC), and the like. The entropy encoder 240 may encode information necessary for video/image reconstruction other than quantized transform coefficients (e.g., values of syntax elements, etc.) together or separately. Encoded information (e.g., encoded video/image information) may be transmitted or stored in units of NALs (network abstraction layer) in the form of a bit stream. The video/image information may further include information on various parameter sets such as an adaptation parameter set (APS), a picture parameter set (PPS), a sequence parameter set (SPS), or a video parameter set (VPS). In addition, the video/image information may further include general constraint information. In the present disclosure, information and/or syntax elements transmitted/signaled from the encoding apparatus to the decoding apparatus may be included in video/picture information. The video/image information may be encoded through the above-described encoding procedure and included in the bit stream. The bit stream may be transmitted over a network or may be stored in a digital storage medium. The network may include a broadcasting network and/or a communication network, and the digital storage medium may include various storage media such as USB, SD, CD, DVD, Blu-ray, HDD, SSD, and the like. A transmitter (not shown) transmitting a signal output from the entropy encoder 240 and/or a storage unit (not shown) storing the signal may be included as internal/external element of the encoding apparatus 200, and alternatively, the transmitter may be included in the entropy encoder 240.

The quantized transform coefficients output from the quantizer 233 may be used to generate a prediction signal. For example, the residual signal (residual block or residual samples) may be reconstructed by applying dequantization and inverse transform to the quantized transform coefficients through the dequantizer 234 and the inverse transformer 235. The adder 250 adds the reconstructed residual signal to the prediction signal output from the inter predictor 221 or the intra predictor 222 to generate a reconstructed signal (reconstructed picture, reconstructed block, reconstructed sample array). If there is no residual for the block to be processed, such as a case where the skip mode is applied, the predicted block may be used as the reconstructed block. The adder 250 may be called a reconstructor or a reconstructed block generator. The generated reconstructed signal may be used for intra prediction of a next block to be processed in the current picture and may be used for inter prediction of a next picture through filtering as described below.

Meanwhile, luma mapping with chroma scaling (LMCS) may be applied during picture encoding and/or reconstruction.

The filter 260 may improve subjective/objective image quality by applying filtering to the reconstructed signal. For example, the filter 260 may generate a modified reconstructed picture by applying various filtering methods to the reconstructed picture and store the modified reconstructed picture in the memory 270, specifically, a DPB of the memory 270. The various filtering methods may include, for example, deblocking filtering, a sample adaptive offset, an adaptive loop filter, a bilateral filter, and the like. The filter 260 may generate various information related to the filtering and transmit the generated information to the entropy encoder 240 as described later in the description of each filtering method. The information related to the filtering may be encoded by the entropy encoder 240 and output in the form of a bit stream.

The modified reconstructed picture transmitted to the memory 270 may be used as the reference picture in the inter predictor 221. When the inter prediction is applied through the encoding apparatus, prediction mismatch between the encoding apparatus 200 and the decoding apparatus 300 may be avoided and encoding efficiency may be improved.

The DPB of the memory 270 DPB may store the modified reconstructed picture for use as a reference picture in the inter predictor 221. The memory 270 may store the motion information of the block from which the motion information in the current picture is derived (or encoded) and/or the motion information of the blocks in the picture that have already been reconstructed. The stored motion information may be transmitted to the inter predictor 221 and used as the motion information of the spatial neighboring block or the motion information of the temporal neighboring block. The memory 270 may store reconstructed samples of reconstructed blocks in the current picture and may transfer the reconstructed samples to the intra predictor 222.

FIG. 3 is a schematic diagram illustrating a configuration of a video/image decoding apparatus to which the embodiment(s) of the present disclosure may be applied.

Referring to FIG. 3 , the decoding apparatus 300 may include an entropy decoder 310, a residual processor 320, a predictor 330, an adder 340, a filter 350, and a memory 360. The predictor 330 may include an inter predictor 331 and an intra predictor 332. The residual processor 320 may include a dequantizer 321 and an inverse transformer 322. The entropy decoder 310, the residual processor 320, the predictor 330, the adder 340, and the filter 350 may be configured by a hardware component (e.g., a decoder chipset or a processor) according to an embodiment. In addition, the memory 360 may include a decoded picture buffer (DPB) or may be configured by a digital storage medium. The hardware component may further include the memory 360 as an internal/external component.

When a bit stream including video/image information is input, the decoding apparatus 300 may reconstruct an image corresponding to a process in which the video/image information is processed in the encoding apparatus of FIG. 2 . For example, the decoding apparatus 300 may derive units/blocks based on block partition related information obtained from the bit stream. The decoding apparatus 300 may perform decoding using a processor applied in the encoding apparatus. Thus, the processor of decoding may be a coding unit, for example, and the coding unit may be partitioned according to a quad tree structure, binary tree structure and/or ternary tree structure from the coding tree unit or the largest coding unit. One or more transform units may be derived from the coding unit. The reconstructed image signal decoded and output through the decoding apparatus 300 may be reproduced through a reproducing apparatus.

The decoding apparatus 300 may receive a signal output from the encoding apparatus of FIG. 2 in the form of a bit stream, and the received signal may be decoded through the entropy decoder 310. For example, the entropy decoder 310 may parse the bit stream to derive information (e.g., video/image information) necessary for image reconstruction (or picture reconstruction). The video/image information may further include information on various parameter sets such as an adaptation parameter set (APS), a picture parameter set (PPS), a sequence parameter set (SPS), or a video parameter set (VPS). In addition, the video/image information may further include general constraint information. The decoding apparatus may further decode picture based on the information on the parameter set and/or the general constraint information. Signaled/received information and/or syntax elements described later in the present disclosure may be decoded may decode the decoding procedure and obtained from the bit stream. For example, the entropy decoder 310 decodes the information in the bit stream based on a coding method such as exponential Golomb coding, CAVLC, or CABAC, and output syntax elements required for image reconstruction and quantized values of transform coefficients for residual. More specifically, the CABAC entropy decoding method may receive a bin corresponding to each syntax element in the bit stream, determine a context model using a decoding target syntax element information, decoding information of a decoding target block or information of a symbol/bin decoded in a previous stage, and perform an arithmetic decoding on the bin by predicting a probability of occurrence of a bin according to the determined context model, and generate a symbol corresponding to the value of each syntax element. In this case, the CABAC entropy decoding method may update the context model by using the information of the decoded symbol/bin for a context model of a next symbol/bin after determining the context model. The information related to the prediction among the information decoded by the entropy decoder 310 may be provided to the predictor (the inter predictor 332 and the intra predictor 331), and the residual value on which the entropy decoding was performed in the entropy decoder 310, that is, the quantized transform coefficients and related parameter information, may be input to the residual processor 320. The residual processor 320 may derive the residual signal (the residual block, the residual samples, the residual sample array). In addition, information on filtering among information decoded by the entropy decoder 310 may be provided to the filter 350. Meanwhile, a receiver (not shown) for receiving a signal output from the encoding apparatus may be further configured as an internal/external element of the decoding apparatus 300, or the receiver may be a component of the entropy decoder 310. Meanwhile, the decoding apparatus according to the present disclosure may be referred to as a video/image/picture decoding apparatus, and the decoding apparatus may be classified into an information decoder (video/image/picture information decoder) and a sample decoder (video/image/picture sample decoder). The information decoder may include the entropy decoder 310, and the sample decoder may include at least one of the dequantizer 321, the inverse transformer 322, the adder 340, the filter 350, the memory 360, the inter predictor 332, and the intra predictor 331.

The dequantizer 321 may dequantize the quantized transform coefficients and output the transform coefficients. The dequantizer 321 may rearrange the quantized transform coefficients in the form of a two-dimensional block form. In this case, the rearrangement may be performed based on the coefficient scanning order performed in the encoding apparatus. The dequantizer 321 may perform dequantization on the quantized transform coefficients by using a quantization parameter (e.g., quantization step size information) and obtain transform coefficients.

The inverse transformer 322 inversely transforms the transform coefficients to obtain a residual signal (residual block, residual sample array).

The predictor may perform prediction on the current block and generate a predicted block including prediction samples for the current block. The predictor may determine whether intra prediction or inter prediction is applied to the current block based on the information on the prediction output from the entropy decoder 310 and may determine a specific intra/inter prediction mode.

The predictor 320 may generate a prediction signal based on various prediction methods described below. For example, the predictor may not only apply intra prediction or inter prediction to predict one block but also simultaneously apply intra prediction and inter prediction. This may be called combined inter and intra prediction (CIIP). In addition, the predictor may be based on an intra block copy (IBC) prediction mode or a palette mode for prediction of a block. The IBC prediction mode or palette mode may be used for content image/video coding of a game or the like, for example, screen content coding (SCC). The IBC basically performs prediction in the current picture but may be performed similarly to inter prediction in that a reference block is derived in the current picture. That is, the IBC may use at least one of the inter prediction techniques described in the present disclosure. The palette mode may be considered as an example of intra coding or intra prediction. When the palette mode is applied, a sample value within a picture may be signaled based on information on the palette table and the palette index.

The intra predictor 331 may predict the current block by referring to the samples in the current picture. The referred samples may be located in the neighborhood of the current block or may be located apart according to the prediction mode. In the intra prediction, prediction modes may include a plurality of non-directional modes and a plurality of directional modes. The intra predictor 331 may determine the prediction mode applied to the current block by using a prediction mode applied to a neighboring block.

The inter predictor 332 may derive a predicted block for the current block based on a reference block (reference sample array) specified by a motion vector on a reference picture. In this case, in order to reduce the amount of motion information transmitted in the inter prediction mode, motion information may be predicted in units of blocks, sub-blocks, or samples based on correlation of motion information between the neighboring block and the current block. The motion information may include a motion vector and a reference picture index. The motion information may further include inter prediction direction (L0 prediction, L1 prediction, Bi prediction, etc.) information. In the case of inter prediction, the neighboring block may include a spatial neighboring block present in the current picture and a temporal neighboring block present in the reference picture. For example, the inter predictor 332 may configure a motion information candidate list based on neighboring blocks and derive a motion vector of the current block and/or a reference picture index based on the received candidate selection information. Inter prediction may be performed based on various prediction modes, and the information on the prediction may include information indicating a mode of inter prediction for the current block.

The adder 340 may generate a reconstructed signal (reconstructed picture, reconstructed block, reconstructed sample array) by adding the obtained residual signal to the prediction signal (predicted block, predicted sample array) output from the predictor (including the inter predictor 332 and/or the intra predictor 331). If there is no residual for the block to be processed, such as when the skip mode is applied, the predicted block may be used as the reconstructed block.

The adder 340 may be called reconstructor or a reconstructed block generator. The generated reconstructed signal may be used for intra prediction of a next block to be processed in the current picture, may be output through filtering as described below, or may be used for inter prediction of a next picture.

Meanwhile, luma mapping with chroma scaling (LMCS) may be applied in the picture decoding process.

The filter 350 may improve subjective/objective image quality by applying filtering to the reconstructed signal. For example, the filter 350 may generate a modified reconstructed picture by applying various filtering methods to the reconstructed picture and store the modified reconstructed picture in the memory 360, specifically, a DPB of the memory 360. The various filtering methods may include, for example, deblocking filtering, a sample adaptive offset, an adaptive loop filter, a bilateral filter, and the like.

The (modified) reconstructed picture stored in the DPB of the memory 360 may be used as a reference picture in the inter predictor 332. The memory 360 may store the motion information of the block from which the motion information in the current picture is derived (or decoded) and/or the motion information of the blocks in the picture that have already been reconstructed. The stored motion information may be transmitted to the inter predictor 260 so as to be utilized as the motion information of the spatial neighboring block or the motion information of the temporal neighboring block. The memory 360 may store reconstructed samples of reconstructed blocks in the current picture and transfer the reconstructed samples to the intra predictor 331.

In the present disclosure, the embodiments described in the filter 260, the inter predictor 221, and the intra predictor 222 of the encoding apparatus 200 may be the same as or respectively applied to correspond to the filter 350, the inter predictor 332, and the intra predictor 331 of the decoding apparatus 300. The same may also apply to the unit 332 and the intra predictor 331.

In the present disclosure, at least one of quantization/inverse quantization and/or transform/inverse transform may be omitted. When the quantization/inverse quantization is omitted, the quantized transform coefficients may be called transform coefficients. When the transform/inverse transform is omitted, the transform coefficients may be called coefficients or residual coefficients, or may still be called transform coefficients for uniformity of expression.

In the present disclosure, a quantized transform coefficient and a transform coefficient may be referred to as a transform coefficient and a scaled transform coefficient, respectively. In this case, the residual information may include information on transform coefficient(s), and the information on the transform coefficient(s) may be signaled through residual coding syntax. Transform coefficients may be derived based on the residual information (or the information on the transform coefficient(s)), and scaled transform coefficients may be derived by inverse transforming (scaling) on the transform coefficients. Residual samples may be derived based on the inverse transforming (transforming) on the scaled transform coefficients. This may be applied/expressed in other parts of the present disclosure as well.

As described above, the encoding apparatus may perform various encoding methods such as exponential Golomb, context-adaptive variable length coding (CAVLC), and context-adaptive binary arithmetic coding (CABAC). In addition, the decoding apparatus may decode information in a bitstream based on a coding method such as exponential Golomb coding, CAVLC or CABAC, and output a value of a syntax element required for image reconstruction and quantized values of transform coefficients related to residuals.

For example, the coding methods described above may be performed as described below.

FIG. 4 exemplarily shows context-adaptive binary arithmetic coding (CABAC) for encoding a syntax element. For example, in the CABAC encoding process, when an input signal is a syntax element, rather than a binary value, the encoding apparatus may convert the input signal into a binary value by binarizing the value of the input signal. In addition, when the input signal is already a binary value (i.e., when the value of the input signal is a binary value), binarization may not be performed and may be bypassed. Here, each binary number 0 or 1 constituting a binary value may be referred to as a bin. For example, if a binary string after binarization is 110, each of 1, 1, and 0 is called one bin. The bin(s) for one syntax element may indicate a value of the syntax element.

Thereafter, the binarized bins of the syntax element may be input to a regular coding engine or a bypass coding engine. The regular coding engine of the encoding apparatus may allocate a context model reflecting a probability value to the corresponding bin, and may encode the corresponding bin based on the allocated context model. The regular coding engine of the encoding apparatus may update a context model for each bin after performing encoding on each bin. A bin encoded as described above may be referred to as a context-coded bin.

Meanwhile, when the binarized bins of the syntax element are input to the bypass coding engine, they may be coded as follows. For example, the bypass coding engine of the encoding apparatus omits a procedure of estimating a probability with respect to an input bin and a procedure of updating a probability model applied to the bin after encoding. When bypass encoding is applied, the encoding apparatus may encode the input bin by applying a uniform probability distribution instead of allocating a context model, thereby improving an encoding rate. The bin encoded as described above may be referred to as a bypass bin.

Entropy decoding may represent a process of performing the same process as the entropy encoding described above in reverse order.

For example, when a syntax element is decoded based on a context model, the decoding apparatus may receive a bin corresponding to the syntax element through a bitstream, determine a context model using the syntax element and decoding information of a decoding target block or a neighbor block or information of a symbol/bin decoded in a previous stage, predict an occurrence probability of the received bin according to the determined context model, and perform an arithmetic decoding on the bin to derive a value of the syntax element. Thereafter, a context model of a bin which is decoded next may be updated with the determined context model.

Also, for example, when a syntax element is bypass-decoded, the decoding apparatus may receive a bin corresponding to the syntax element through a bitstream, and decode the input bin by applying a uniform probability distribution. In this case, the procedure of the decoding apparatus for deriving the context model of the syntax element and the procedure of updating the context model applied to the bin after decoding may be omitted.

As described above, residual samples may be derived as quantized transform coefficients through transform and quantization processes. The quantized transform coefficients may also be referred to as transform coefficients. In this case, the transform coefficients in a block may be signaled in the form of residual information. The residual information may include a residual coding syntax. That is, the encoding apparatus may configure a residual coding syntax with residual information, encode the same, and output it in the form of a bitstream, and the decoding apparatus may decode the residual coding syntax from the bitstream and derive residual (quantized) transform coefficients. The residual coding syntax may include syntax elements representing whether transform was applied to the corresponding block, a location of a last effective transform coefficient in the block, whether an effective transform coefficient exists in the subblock, a size/sign of the effective transform coefficient, and the like, as will be described later.

For example, syntax elements related to residual data encoding/decoding may be represented as shown in the following table.

TABLE 1 transform unit( x0, y0, tbWidth, tbHeight, treeType, subTuIndex, chType ) { Descriptor  if( IntraSubPartitionsSplitTypc != ISP_NO_SPLIT &&    treeType = = SINGLE_TREE && subTuIndex = = NumlntraSubPartiti ons − 1 ) {   xC = CbPosX[ chType ][ x0 ][ y0 ]   yC = CbPosY[ chType ][ x0 ][ y0 ]   wC = CbWidth[ chType ][ x0 ][ y0 ] / SubWidthC   hC = CbHeight[ chType ] [ x0 ] [ y0 ] / SubHeightC  } else {   xC = x0   yC = y0   wC = tbWidth / SubWidthC   hC = tbHeight / SubHeightC  }  chromaAvailable = treeType != DUAL_TREE_LUMA && sps_chroma_form at_idc != 0 &&   ( IntraSubPartitionsSplitType = = ISP_NO_SPLIT | |   ( IntraSubPartitions SplitType != ISP_NO_SPLIT &&   subTuIndex = = NumIntraSubPartitions − 1 ) )  if( ( treeType = = SINGLE_TREE | | treeType = = DUAL_TREE_CHROM A ) &&    sps_chroma_format_idc != 0 &&    ( ( IntraSubPartitionsSplitType == ISP_NO_SPLIT && !( cu_sbt_flag &&    ( ( subTuIndex = = 0 && cu_sbt_pos_flag ) | |    ( subTuIndex = = 1 && !cu_sbt_pos_flag ) ) ) ) | |    ( IntraSubPartitionsSplitType != ISP_NO_SPLIT &&    ( subTuIndex = = NumIntraSubPartitions − 1 ) ) ) ) {   tu cb coded flag[ xC ][ yC ] ae(v)   tu cr coded flag[ xC ][ yC ] ae(v)  }  if( treeType = = SINGLE_TREE | | treeType = = DUAL_TREE_LUMA ) {   if( ( IntraSubPartitionsSplitType = = ISP_NO_SPLIT && !( cu_sbt flag & &     ( (subTuIndex = = 0 && cu_sbt_pos_flag )     ( subTuIndex = =1 && !cu_sbt_pos_flag ) ) ) &&     ( ( CuPredMode[ chType ] [ x0 ] [ y0 ] = = MODE_INTRA &&     !cu_act_enabled_flag[ x0 ][ y0 ])     ( chromaAvailable && (tu_cb_coded_flag[ xC ][ yC ]     tu_cr_coded_flag[ xC ] [ yC ] ) ) | |     CbWidth[ chType ][ x0 ][ y0 ] > MaxTbSizeY | |     CbHeight[ chType ][ x0 II y0 1 > MaxTbSizeY ) ) | |     (IntraSubPartitionsSplitType != ISP_NO_SPLIT &&     ( subTuIndex < NumIntraSubPartitions − 1 | | !InferTuCbfLuma ) ) )    tu_y_coded_flag[ x0 ][ y0 ] ae(v)   if(IntraSubPartitionsSplitType != ISP_NO_SPLIT )    InferTuCbfLuma = InferTuCbfLuma && !tu y coded flag[ x0 ][ y0 ]  }  if( ( CbWidth[ chType ] [ x0 ] [ y0 ] > 64 | | CbHeight[ chType ][ x0 ][ y 0 ] > 64 | |    tu_y_coded_flag[ x0 ][ y0 ] | | ( chromaAvailable && (tu_cb_coded_flag [ xC ][ yC ] | |    tu_cr_coded_flag[ xC ][yC ] ) ) && treeType != DUAL_TREE_CHRO MA &&    pps cu qp delta enabled flag && !IsCuQpDeltaCoded ) {   cu_qp_delta_abs ae(v)   if( cu qp delta abs )    cu_qp_delta_sign_flag ae(v)  }  if( ( CbWidth[ chType ] [ x0 ] [ y0 ] > 64 CbHeight[ chType ][ x0 ][ y 0 ] > 64 | |    ( chromaAvailable && ( tu_cb_coded_flag[ xC ][ yC ] | |    tu_cr_coded flag[ xC ] [ yC ] ) ) ) &&    treeType != DUAL_TREE_LUMA && sh_cu_chroma_qp_offset_enable d_flag &&    !IsCuChromaQpOffsetCoded ) {   cu chroma qp offset flag ae(v)   if( cu_chroma_qp_offset_flag && pps_chroma_qp_offset_list_len_minus1 > 0 )    cu chroma qp offset idx ae(v)  }  if( sps_joint_cbcr_enabled_flag && ( ( CuPredMode[ chType ][ x0 ][ y0 ] = = MODE_INTRA    && ( tu_cb_coded_flag[ xC ][ yC ] | | tu_cr_coded_flag[ xC ][ yC ] ) ) | |    ( tu_cb_coded _flag[ xC ][ yC ] && tu_cr_coded _flag[ xC ][ yC ] ) ) &&    chromaAvailable )   tu_joint_cbcr_residual_flag[ xC ][ yC ] ae(v)  if( tu y coded flag[ x0 ][ y0 ] && treeType != DUAL_TREE_CHROMA) {   if( sps_transform_skip_enabled_flag && !BdpcmFlag[ x0 ][ y0 ][ 0 ] &&     tbWidth <= MaxTsSize && tbHeight <= MaxTsSize &&     ( IntraSubPartitionsSplitType = = ISP_NO_SPLIT ) && !cu sbt flag )    transform_skip_flag[ x0 ][ y0 ][ 0 ] ae(v)   if( !transform_skip_flag[ x0 ][ y0 ][ 0 ] | | sh_ts_residual_coding_disabled_fla g )    residual coding[ x0, y0, Log2( tbWidth), Log2( tbHeight), 0 )   else    residual ts coding( x0, y0, Log2( tbWidth), Log2( tbHeight) 0 )  }  if(tu cb coded flag[ xC ][ yC ] && treeType != DUAL_TREE_LUMA ) {   if( sps_transform_skip_enabled_flag && !BdpcmFlag[ x0 ][ y0 ][ 1 ] &&     wC <= MaxTsSize && hC <= MaxTsSize && !cu sbt flag )    transform_skip_flag[ xC ][ yC ][ 1 ] ae(v)   if( !transform_skip_flag[ xC ][ yC ][ 1 ] | | sh_ts_residual_coding_disabled_fl ag )    residual coding( xC, yC, Log2( wC ), Log2( hC ), 1 )   else    residual ts coding( xC, yC, Log2( wC ), Log2( hC ), 1 )  }  if( tu_cr_coded_flag[ xC ][ yC ] && treeType != DUAL_TREE_LUMA &&    !(tu_cb_coded_flag[ xC ][ yC ] && tu_joint_cbcr_residual_flag[ xC ][ y C ] ) ) {   if( sps_transform_skip_enabled_flag && !BdpcmFlag[ x0 ][ y0 ][ 2 ] &&     wC <= MaxTsSize && hC <= MaxTsSize && !cu sbt flag )    transform_skip_flag[ xC ][ yC ][ 2 ] ae(v)   if( !transform_skip_flag[ xC ][ yC ][ 2 ] | | sh_ts_residual_coding_disabled_fl ag )    residual coding( xC, yC, Log2( wC ), Log2( hC ), 2 )   else    residual ts coding( xC, yC, Log2( wC ), Log2( hC ), 2 )  } }

transform_skip_flag indicates whether transform is skipped in an associated block. The transform_skip_flag may be a syntax element of a transform skip flag. The associated block may be a coding block (CB) or a transform block (TB). Regarding transform (and quantization) and residual coding procedures, CB and TB may be used interchangeably. For example, as described above, residual samples may be derived for CB, and (quantized) transform coefficients may be derived through transform and quantization for the residual samples, and through the residual coding procedure, information (e.g., syntax elements) efficiently indicating a position, magnitude, sign, etc. of the (quantized) transform coefficients may be generated and signaled. The quantized transform coefficients may simply be called transform coefficients. In general, when the CB is not larger than a maximum TB, a size of the CB may be the same as a size of the TB, and in this case, a target block to be transformed (and quantized) and residual coded may be called a CB or a TB. Meanwhile, when the CB is greater than the maximum TB, a target block to be transformed (and quantized) and residual coded may be called a TB. Hereinafter, it will be described that syntax elements related to residual coding are signaled in units of transform blocks (TBs) but this is an example and the TB may be used interchangeably with coding blocks (CBs as described above.

Meanwhile, syntax elements which are signaled after the transform skip flag is signaled may be the same as the syntax elements disclosed in Table 2 and/or Table 3 below, and detailed descriptions on the syntax elements are described below.

TABLE 2 residual coding( x0, y0, log2TbWidth, log2TbHeight, cIdx ) { Descriptor  if( sps_mts_enabled _flag && cu_sbt_flag && cIdx = = 0 &&    log2TbWidth = = 5 && log2TbHeight < 6 )   log2ZoTbWidth = 4  else   log2ZoTbWidth = Min( log2TbWidth, 5 )  if( sps_mts_enabled_flag && cu_sbt_flag && cIdx = = 0 &&    log2TbWidth < 6 && log2TbHeight = = 5 )   log2ZoTbHeight = 4  else   log2ZoTbHeight = Min( log2TbHeight 5 )  if( log2TbWidth > 0 )   last_sig_coeff_x_prefix ae(v)  if( log2TbHeight > 0 )   last_sig_coeff_y_prefix ae(v)  if( last_sig_coeff_x_prefix > 3 )   last_sig_coeff_x_suffix ae(v)  if( last_sig_coeff_y_prefix > 3 )   last_sig_coeff_y_suffix ae(v)  log2TbWidth = log2ZoTbWidth  log2TbHeight = log2ZoTbHeight  remBinsPass1 = ( ( 1 << ( log2TbWidth + log2TbHeight)) * 7 ) >> 2  log2SbW = ( Min( log2TbWidth, log2TbHeight ) < 2 ? 1 : 2 )  log2SbH = log2SbW  if( log2TbWidth + log2TbHcight > 3 )   if( log2TbWidth < 2 ) {    log2SbW = log2TbWidth    log2SbH = 4 − log2SbW   } else if( log2TbHeight < 2 ) {    log2SbH = log2TbHeight    log2SbW = 4 − log2SbH   }  numSbCoeff = 1 << ( log2SbW + log2SbH )  lastScanPos = numSbCoeff  lastSubBlock = ( 1 << ( log2TbWidth + log2TbHeight − (log2SbW + log2Sb H ) ) ) − 1  do {   if( lastScanPos = = 0 ) {    lastScanPos = numSbCoeff    lastSubBlock− −   }   lastScanPos− −   xS = DiagScanOrder└ log2TbWidth − log2SbW ┘└ log2TbHeight − log2SbH ┘     ┌ lastSubBlock ┐┌ 0 ┐   yS = DiagScanOrder┌ log2TbWidth − log2SbW ┐┌ log2TbHeight − log2SbH ┐     ┌ lastSubBlock ┐ ┌ 1 ┐   xC = ( xS << log2SbW ) + DiagScanOrder[ log2SbW ] [ log2SbH ] [ lastScan Pos ][ 0 ]   yC = ( yS << log2SbH ) + DiagScanOrder[ log2SbW ][ log2SbH ][ lastScan Pos ][ 1 ]  } while( ( xC != LastSignificantCoefX ) | | ( yC != LastSignificantCoeffY ) )  if( lastSubBlock = = 0 && log2TbWidth >= 2 && log2TbHeight >= 2 & &    !transform skip flag[ x0 ][ y0 ][ cIdx ] && lastScanPos > 0 )   LfnstDcOnly = 0  if( ( lastSubBlock > 0 && log2TbWidth >= 2 && log2TbHeight >= 2 ) | |    ( lastScanPos > 7 && (log2TbWidth = = 2 | | log2TbWidth = = 3 ) & &    log2TbWidth = = log2TbHeight ) )   LfnstZeroOutSigCoeffFlag = 0  if( ( lastSubBlock > 0 | | lastScanPos > 0 ) && cIdx = = 0 )   MtsDcOnly = 0  QState = 0  for( i = lastSubBlock; i >= 0; i− − ) {   startQStateSb = QState   xS = DiagScanOrder[ log2TbWidth − log2SbW ][ log2TbHeight − log2SbH ]     [ i ][ 0 ]   yS = DiagScanOrder[ log2TbWidth − log2SbW ][ log2TbHeight − log2SbH ]     [ i ][ 1 ]   inferSbDcSigCoeffFlag = 0   if( i < lastSubBlock && i > 0 ) {    sb coded flag[ xS ][ yS ] ae(v)    inferSbDcSigCoeffFlag = 1   }   if( sb coded flag[ xS ][ yS ] && ( xS > 3 | | yS > 3 ) && cIdx = = 0 )    MtsZeroOutSigCoeffFlag = 0   firstSigScanPosSb = numSbCoeff   lastSigScanPosSb = −1   firstPosMode0 = ( i = = lastSubBlock ? lastScanPos : numSbCoeff − 1 )   firstPosModc1 = FirstPosMode0   for( n = firstPosMode0; n >= 0 && remBinsPass1 >= 4; n− − ) {    xC = ( xS << log2SbW ) + DiagScanOrder[ log2SbW ][ log2SbH ][ n ] [ 0 ]    yC = ( yS << log2SbH ) + DiagScanOrder[ log2SbW ][ log2SbH ][ n ] [ 1 ]    if( sb_coded_flag[ xS ][ yS ] && (n > 0 | | !inferSbDcSigCoeffFlag ) & &      ( xC != LastSignificantCoeffX | | yC != Last SignificantCocffY ) ) {     sig coeff flag[ xC ][ yC ] ae(v)     remBinsPass1− −     if( sig coeff flag[ xC ][ yC ] )      inferSbDcSigCoeffFlag = 0    }    if( sig coeff flag[ xC ][ yC ] ) {     abs_level_gtx_flag[ n ][ 0 ] ae(v)     remBinsPass1− −     if( abs level gtx flag[ n ][ 0 ] ) {      par_level_flag| n | ae(v)      remBinsPass1− −      abs level gtx flag[ n ][ 1 ] ae(v)      remBinsPass1− −     }     if( lastSigScanPosSb = = −1 )      lastSigScanPosSb = n     firstSigScanPosSb = n    }    AbsLevelPass1[ xC ][ yC ] = sig_coeff_flag[ xC ][ yC ] + par_level_flag [ n ] +       abs_level_gtx_flag[ n ][ 0 ] + 2 * abs_level_gtx flag[ n ] [ 1 ]    if( sh dep quant used flag )     QStatc = QStatcTransTablc| QStatc || AbsLcvclPass1| xC || yC | & 1 |    firstPosMode1 = n − 1   }   for( n = firstPosMode0; n > firstPosMode1; n− − ) {    xC = ( xS << log2SbW ) + DiagScanOrder[ log2SbW ][ log2SbH ][ n ] [ 0 ]    yC = ( yS << log2SbH ) + DiagScanOrder[ log2SbW ][ log2SbH ][ n ] [ 1 ]    if( abs level gtx flag[ n ][ 1 ] )     abs_remainder[ n ] ae(v)    AbsLevel[ xC ][ yC ] = AbsLevelPass1[ xC ][ yC ] +2 * abs remainder[ n ]   }   for( n = firstPosMode1; n >= 0; n− − ) {    xC = ( xS << log2SbW ) + DiagScanOrder[ log2SbW ][ log2SbH ][ n ] [ 0 ]    yC = ( yS << log2SbH ) + DiagScanOrder[ log2SbW ][ log2SbH ][ n ] [ 1 ]    if( sb coded flag[ xS ][ yS ] )     dec_abs_level[ n ] ae(v)    if( AbsLcvcl| xC || yC | > 0 ) {     if( lastSigScanPosSb = = −1 )      lastSigScanPosSb = n     firstSigScanPosSb = n    }    if( sh dep quant used flag)     QState = QStatcTransTable[ QState ][ AbsLevel[ xC ][ yC ] & 1 ]   }   if( sh dep quant used flag | | !sh sign data hiding used flag )    signHidden = 0   else    signHidden = (lastSigScanPosSb − firstSigScanPosSb > 3 ? 1 : 0 )   for( n = numSbCoeff − 1; n >= 0; n− − ) {    xC = ( xS<< log2SbW ) + DiagScanOrder[ log2SbW ][ log2SbH ][ n ] [ 0 ]    yC = ( yS<< log2SbH ) + DiagScanOrder└ log2SbW ┘└ log2SbH ┘└ n ┘ [ 1 ]    if( (AbsLevel[ xC ][ yC ] > 0 ) &&     ( !signHidden | | (n != firstSigScanPosSb ) ) )     coeff_sign_flag┌ n ┐ ae(v)   }   if( sh dep quant used flag ) {    QState = startQStateSb    for( n = numSbCoeff − 1; n >= 0; n− − ) {     xC = ( xS<< log2SbW ) + DiagScanOrder┌ log2SbW ┐┌ log2SbH ┐┌ n ┐ | 0 |     yC = ( yS << log2SbH ) + DiagScanOrder[ log2SbW ][ log2SbH ][ n ] [ 1 ]     if( AbsLevel┌ xC ┐┌ yC ┐ > 0 )      TransCoeffLevel[ x0 ][ y0 ][ cIdx ][ xC ][ yC ] =        ( 2 * AbsLevel[ xC ][ yC ] − ( QState > 1 ? 1 : 0 ) ) *        ( 1 − 2 * coeff sign flag[ n ] )     QState = QStateTransTable[ QState ][ AbsLevel[ xC ][ yC ] & 1 ]   } else {    sumAbsLevel = 0    for( n = numSbCoeff − 1; n >= 0; n− − ) {     xC = ( xS << log2SbW ) + DiagScanOrder┌ log2SbW ┐┌ log2SbH ┐┌ n ] ┌ 0 ┐     yC = ( yS << log2SbH ) + DiagScanOrder[ log2SbW ][ log2SbH ][ n ] ┌ 1 ┐     if( AbsLevel[ xC ][ yC ] > 0 ) {      TransCoeffLevel[ x0 ][ y0 ][ cIdx ][ xC ][ yC ] =        AbsLevel[ xC ][ yC ] * ( 1 − 2 * coeff sign flag[ n ] )      if( signHidden ) {       sumAbsLevel += AbsLevel| xC || yC |       if( ( n = = firstSigScanPosSb ) && ( sumAbsLevel % 2 ) = = 1 ) )        TransCoeffLevel[ x0 ] [ y0 ][ cIdx ][ xC ] [ yC ] =         −TransCoeffLevel[ x0 ][ y0 ][ cIdx ][ xC ][ yC ]      }     }    }   }  } }

TABLE 3 residual ts coding( x0, y0, log2TbWidth, log2TbHeight, cIdx ) { Descriptor  log2SbW = ( Min( log2TbWidth, log2TbHeight ) < 2 ? 1 : 2 )  log2SbH = log2SbW  if( log2TbWidth + log2TbHeight > 3 )   if( log2TbWidth < 2 ) {    log2SbW = log2TbWidth    log2SbH = 4 − log2SbW   } else if( log2TbHeight < 2 ) {    log2SbH = log2TbHeight    log2SbW = 4 − log2SbH   }  numSbCoeff = 1 << ( log2SbW + log2SbH )  lastSubBlock = ( 1 << ( log2TbWidth + log2TbHeight − ( log2SbW + log2Sb H ) ) ) − 1  inferSbCbf = 1  RemCcbs = ( ( 1 << ( log2TbWidth + log2TbHeight ) ) * 7 ) >> 2  for( i =0; i <= lastSubBlock; i++ ) {   xS = DiagScanOrder[ log2TbWidth − log2SbW ][ log2TbHeight − log2SbH ] [ i ][ 0 ]   yS = DiagScanOrder[ log2TbWidth − log2SbW ][ log2TbHeight − log2SbH ] [ i ][ 1 ]   if( i != lastSubBlock | | !inferSbCbf )    sb_coded_flag[ xS ][ yS ] ae(v)   if( sb coded flag[ xS ][ yS ] && i < lastSubBlock )    inferSbCbf = 0  /* First scan pass */   inferSbSigCoeffFlag = 1   lastScanPosPass 1 = −1   for( n = 0; n <= numSbCoeff − 1 && RemCcbs >= 4; n++ ) {    xC = ( xS << log2SbW ) + DiagScanOrder[ log2SbW ][ log2SbH ][ n ] [ 0 ]    yC = ( yS << log2SbH ) + DiagScanOrder[ log2SbW ] [ log2SbH ] [ n ] [ 1 ]    lastScanPosPass1 = n    if( sb_coded_flag[ xS ] [ yS ] &&      (n != numSbCoeff − 1 | | !inferSbSigCoeffFlag ) ) {     sig_coeff_flag[ xC ][ yC ] ae(v)     RemCcbs− −     if( sig coeff flag[ xC ][ yC ] )      inferSbSigCoeffFlag = 0    }    CoeffSignLevel[ xC ][ yC ] = 0    if( sig coeff flag[ xC ] [ yC ] ) {     coeff_sign_flag[ n ] ae(v)     RemCcbs− −     CoeffSignLevel[ xC ][ yC ] = ( coeff sign flag[ n ] > 0 ? −1 : 1 )     abs_level_gtx_flag[ n ][ 0 ] ae(v)     RemCcbs− −     if( abs_level_gtx_flag[ n ][ 0 ] ) {      par level flag[ n ] ae(v)      RemCcbs− −     }    }    AbsLevelPass1[ xC ] [ yC ] =      sig_coeff_flag[ xC ][ yC ] + par_level_flag[ n ] + abs_level_gtx_flag [ n ][ 0 ]   }  /* Greater than X scan pass (numGtXFlags=5) */   lastScanPosPass2 = −1   for( n = 0: n <= numSbCoeff − 1 && RemCcbs >= 4; n++ ) {    xC = ( xS << log2SbW ) + DiagScanOrder[ log2SbW ] [ log2SbH ] [ n ] [ 0 ]    yC = ( yS << log2SbH ) + DiagScanOrder[ log2SbW ][ log2SbH ] [ n ] [ 1 ]    AbsLevelPass2[ xC ][ yC ] = AbsLevelPass1[ xC ][ yC ]    for (j = 1;j < 5;j++ ) {     if( abs level gtx flag[n ][ j − 1 ] ) {      abs level gtx flag[ n ] [ j ] ae(v)      RemCcbs− −     }     AbsLevelPass2[ xC ][ yC ] += 2 * abs level gtx flag[ n ][ j ]    }    lastScanPosPass2 = n   }  /* remainder scan pass */   for( n = 0; n <= numSbCoeff − 1; n++ ) {    xC = ( xS << log2SbW ) + DiagScanOrder[ log2SbW ] [ log2SbH ] [ n ] | 0 |    yC = ( yS << log2SbH ) + DiagScanOrder[ log2SbW ][ log2SbH ][ n ] [ 1 ]    if( ( n <= lastScanPosPass2 && AbsLevelPass2└ xC ┘└ yC ┘ >= 10 ) | |      ( n > lastScanPosPass2 && n <= lastScanPosPass1 &&      AbsLevelPass1[ xC ] [ yC ] >= 2 )      ( n > lastScanPosPass1 && sb coded flag[ xS ][ yS ] ) )     abs remainder[ n ] ae(v)    if( n <= lastScanPosPass2 )     AbsLevel[ xC ][ yC ] = AbsLevelPass2[ xC ][ yC ] + 2 * abs_remainder [ n ]    else if(n <= lastScanPosPass1 )     AbsLevel┌ xC ┐┌ yC ┐ = AbsLevelPass1┌ xC ┐[ yC ┐ + 2 * abs_remainder | n |    else { /* bypass */     AbsLevel┌ xC ┐┌ yC ┐ = abs remainder┌ n ]     if( abs remainder[ n ] )      coeff_sign_flag[ n ] ae(v)    }    if( BdpcmFlag[ x0 ][ y0 ][ cIdx ] = = 0 && n <= lastScanPosPass1 ) {     absLeftCoeff = xC > 0 ? AbsLevel[ xC − 1 ][ yC ] ) : 0     absAboveCoeff = yC > 0 ? AbsLevel[ xC ][ yC − 1 ] ) : 0     predCoeff = Max( absLeftCoeff absAboveCoeff )     if( AbsLcvcl| xC || yC | = = 1 && predCoeff > 0 )      AbsLevel┌ xC ┐┌ yC ┐ = predCoeff     else if( AbsLevel[ xC ] [ yC ] > 0 && AbsLevel[ xC ] [ yC ] <= predCo eff )      AbsLevel[ xC ][ yC ]− −    }    TransCoeffLevel[ x0 ][ y0 ][ cIdx ][ xC ][ yC ] = ( 1 − 2 * coeff_sign_flag [ n ] ) *      AbsLevel[ xC ][ yC ]   }  } }

According to the present embodiment, as shown in Table 1, residual coding may be divided according to a value of the syntax element transform_skip_flag of the transform skip flag. That is, a different syntax element may be used for residual coding based on the value of the transform skip flag (based on whether the transform is skipped). Residual coding used when the transform skip is not applied (that is, when the transform is applied) may be called regular residual coding (RRC), and residual coding used when the transform skip is applied (that is, when the transform is not applied) may be called transform skip residual coding (TSRC). Also, the regular residual coding may be referred to as general residual coding. Also, the regular residual coding may be referred to as a regular residual coding syntax structure, and the transform skip residual coding may be referred to as a transform skip residual coding syntax structure. Table 2 above may show a syntax element of residual coding when a value of transform_skip_flag is 0, that is, when the transform is applied, and Table 3 above may show a syntax element of residual coding when the value of transform_skip_flag is 1, that is, when the transform is not applied.

Specifically, for example, the transform skip flag indicating whether to skip the transform of the transform block may be parsed, and whether the transform skip flag is 1 may be determined. If the value of the transform skip flag is 0, as shown in Table 2, syntax elements last_sig_coeff_x_prefix, last_sig_coeff_y_prefix, last_sig_coeff_x_suffix, last_sig_coeff_y_suffix, sb_coded_flag, sig_coeff_flag, abs_level_gtx_flag, par_level_flag, abs_remainder, coeff_sign_flag and/or dec_abs_level for a residual coefficient of the transform block may be parsed, and the residual coefficient may be derived based on the syntax elements. In this case, the syntax elements may be sequentially parsed, and a parsing order may be changed. In addition, the abs_level_gtx_flag may represent abs_level_gt1_flag, and/or abs_level_gt3_flag. For example, abs_level_gtx_flag[n][0] may be an example of a first transform coefficient level flag (abs_level_gt1_flag), and the abs_level_gtx_flag[n][1] may be an example of a second transform coefficient level flag (abs_level_gt3_flag).

Referring to the Table 2 above, last_sig_coeff_x_prefix, last_sig_coeff_y_prefix, last_sig_coeff_x_suffix, last_sig_coeff_y_suffix, sb_coded_flag, sig_coeff_flag, abs_level_gt1_flag, par_level_flag, abs_level_gt3_flag, abs_remainder, coeff_sign_flag, and/or dec_abs_level may be encoded/decoded. Meanwhile, sb_coded_flag may be represented as coded_sub_block_flag.

In an embodiment, the encoding apparatus may encode (x,y) position information of the last non-zero transform coefficient in a transform block based on the syntax elements last_sig_coeff_x_prefix, last_sig_coeff_y_prefix, last_sig_coeff_x_suffix, and last_sig_coeff_y_suffix. More specifically, the last_sig_coeff_x_prefix represents a prefix of a column position of a last significant coefficient in a scanning order within the transform block, the last_sig_coeff_y_prefix represents a prefix of a row position of the last significant coefficient in the scanning order within the transform block, the last_sig_coeff_x_suffix represents a suffix of a column position of the last significant coefficient in the scanning order within the transform block, and the last_sig_coeff_y_suffix represents a suffix of a row position of the last significant coefficient in the scanning order within the transform block. Here, the significant coefficient may represent a non-zero coefficient. In addition, the scanning order may be a right diagonal scanning order. Alternatively, the scanning order may be a horizontal scanning order or a vertical scanning order. The scanning order may be determined based on whether intra/inter prediction is applied to a target block (a CB or a CB including a TB) and/or a specific intra/inter prediction mode.

Thereafter, the encoding apparatus may divide the transform block into 4×4 sub-blocks, and then indicate whether there is a non-zero coefficient in the current sub-block using a 1-bit syntax element coded_sub_block_flag for each 4×4 sub-block.

If a value of coded_sub_block_flag is 0, there is no more information to be transmitted, and thus, the encoding apparatus may terminate the encoding process on the current sub-block. Conversely, if the value of coded_sub_block_flag is 1, the encoding apparatus may continuously perform the encoding process on sig_coeff_flag. Since the sub-block including the last non-zero coefficient does not require encoding for the coded_sub_block_flag and the sub-block including the DC information of the transform block has a high probability of including the non-zero coefficient, coded_sub_block_flag may not be coded and a value thereof may be assumed as 1.

If the value of coded_sub_block_flag is 1 and thus it is determined that a non-zero coefficient exists in the current sub-block, the encoding apparatus may encode sig_coeff_flag having a binary value according to a reverse scanning order. The encoding apparatus may encode the 1-bit syntax element sig_coeff_flag for each transform coefficient according to the scanning order. If the value of the transform coefficient at the current scan position is not 0, the value of sig_coeff_flag may be 1. Here, in the case of a subblock including the last non-zero coefficient, sig_coeff_flag does not need to be encoded for the last non-zero coefficient, so the coding process for the sub-block may be omitted. Level information coding may be performed only when sig_coeff_flag is 1, and four syntax elements may be used in the level information encoding process. More specifically, each sig_coeff_flag[xC][yC] may indicate whether a level (value) of a corresponding transform coefficient at each transform coefficient position (xC, yC) in the current TB is non-zero. In an embodiment, the sig_coeff_flag may correspond to an example of a syntax element of a significant coefficient flag indicating whether a quantized transform coefficient is a non-zero significant coefficient.

A level value remaining after encoding for sig_coeff_flag may be derived as shown in the following equation. That is, the syntax element remAbsLevel indicating a level value to be encoded may be derived from the following equation.

remAbsLevel=|coeff|−1  [Equation 1]

Herein, coeff means an actual transform coefficient value.

Additionally, abs_level_gt1_flag may indicate whether or not remAbsLevel′ of the corresponding scanning position (n) is greater than 1. For example, when the value of abs_level_gt1_flag is 0, the absolute value of the transform coefficient of the corresponding position may be 1. In addition, when the value of the abs_level_gt1_flag is 1, the remAbsLevel indicating the level value to be encoded later may be updated as shown in the following equation.

remAbsLevel=remAbsLevel−1  [Equation 2]

In addition, the least significant coefficient (LSB) value of remAbsLevel described in Equation 2 described above may be encoded as in Equation 3 below through par_level_flag.

par_level_flag=|coeff|&1  [Equation 3]

Herein, par_level_flag[n] may indicate a parity of a transform coefficient level (value) at a scanning position n.

A transform coefficient level value remAbsLevel that is to be encoded after performing par_level_flag encoding may be updated as shown below in the following equation.

remAbsLevel=remAbsLevel>>1  [Equation 4]

abs_level_gt3_flag may indicate whether or not remAbsLevel′ of the corresponding scanning position (n) is greater than 3. Encoding for abs_remainder may be performed only in a case where rem_abs_gt3_flag is equal to 1. A relationship between the actual transform coefficient value coeff and each syntax element may be as shown below in the following equation.

|coeff|=sig_coeff_flag+abs_level_gt1_flag+par_level_flag+2*(abs_level_gt3_flag+abs_remainder)  [Equation 5]

Additionally, the following table indicates examples related to the above-described Equation 5.

TABLE 4 sig_coeff_flag abs_level_gtX_flag par_level_flag abs_level_gtX_flag abs_remainder |coeff[n]| [n] [n] [0] [n] [n] [1] [n]  0 0  1 1 0  2 1 1 0 0  3 1 1 1 0  4 1 1 0 1 0  5 1 1 1 1 0  6 1 1 0 1 1  7 1 1 1 1 1  8 1 1 0 1 2  9 1 1 1 1 2 10 1 1 0 1 3 11 1 1 1 1 3 . . . . . . . . . . . .

Herein, |coeff| indicates a transform coefficient level (value) and may also be indicates as an AbsLevel for a transform coefficient. Additionally, a sign of each coefficient may be encoded by using coeff_sign_flag, which is a 1-bit symbol.

Also, if the value of the transform skip flag is 1, as shown in Table 3, syntax elements sb_coded_flag, sig_coeff_flag, coeff_sign_flag, abs_level_gtx_flag, par_level_flag and/or abs_remainder for a residual coefficient of the transform block may be parsed, and the residual coefficient may be derived based on the syntax elements. In this case, the syntax elements may be sequentially parsed, and a parsing order may be changed. In addition, the abs_level_gtx_flag may represent abs_level_gt1_flag, abs_level_gt3_flag, abs_level_gt5_flag, abs_level_gt7_flag, and/or abs_level_gt9_flag. For example, abs_level_gtx_flag[n][j] may be a flag indicating whether an absolute value or a level (a value) of a transform coefficient at a scanning position n is greater than (j<<1)+1. The condition (j<<1)+1 may be optionally replaced with a specific threshold such as a first threshold, a second threshold, or the like.

Meanwhile, CABAC provides high performance, but disadvantageously has poor throughput performance. This is caused by a regular coding engine of the CABAC. Regular encoding (i.e., coding through the regular coding engine of the CABAC) shows high data dependence since it uses a probability state and range updated through coding of a previous bin, and it may take a lot of time to read a probability interval and determine a current state. The throughput problem of the CABAC may be solved by limiting the number of context-coded bins. For example, as shown in Table 2 described above, a sum of bins used to express sig_coeff_flag, abs_level_gt1_flag, par_level_flag, and abs_level_gt3_flag may be limited to the number of bins depending on a size of a corresponding block. Also, for example, as shown in Table 3 described above, a sum of bins used to express sig_coeff_flag, coeff_sign_flag, abs_level_gt1_flag, par_level_flag, abs_level_gt3_flag abs_level_gt5_flag, abs_level_gt7_flag, abs_level_gt9_flag may be limited to the number of bins depending on a size of a corresponding block. For example, if the corresponding block is a block of a 4×4 size, the sum of bins for the sig_coeff_flag, abs_level_gt1_flag, par_level_flag, abs_level_gt3_flag or sig_coeff_flag, coeff_sign_flag, abs_level_gt1_flag, par_level_flag, abs_level_gt3_flag abs_level_gt5_flag, abs_level_gt7_flag, abs_level_gt9_flag may be limited to 32 (or ex. 28), and if the corresponding block is a block of a 2×2 size, the sum of bins for the sig_coeff_flag, abs_level_gt1_flag, par_level_flag, abs_level_gt3_flag may be limited to 8 (or ex. 7). The limited number of bins may be represented by remBinsPass1 or RemCcbs. Or, for example, for higher CABAC throughput, the number of context coded bins may be limited for a block (CB or TB) including a coding target CG. In other words, the number of context coded bins may be limited in units of blocks (CB or TB). For example, when the size of the current block is 16×16, the number of context coded bins for the current block may be limited to 1.75 times the number of pixels of the current block, i.e., 448, regardless of the current CG.

In this case, if all context-coded bins of which the number is limited are used when a context element is coded, the encoding apparatus may binarize the remaining coefficients through a method of binarizing the coefficient as described below, instead of using the context coding, and may perform bypass encoding. In other words, for example, if the number of context-coded bins which are coded for 4×4 CG is 32 (or ex. 28), or if the number of context-coded bins which are coded for 2×2 CG is 8 (or ex. 7), sig_coeff_flag, abs_level_gt1_flag, par_level_flag, abs_level_gt3_flag which are coded with the context-coded bin may no longer be coded, and may be coded directly to dec_abs_level. Or, for example, when the number of context coded bins coded for a 4×4 block is 1.75 times the number of pixels of the entire block, that is, when limited to 28, the sig_coeff_flag, abs_level_gt1_flag, par_level_flag, and abs_level_gt3_flag coded as context coded bins may not be coded any more, and may be directly coded as dec_abs_level as shown in Table 5 below.

TABLE 5 dec_abs_level |coeff[n]| [n] 0 0 1 1 2 2 3 3 4 4 5 5 6 6 7 7 8 8 9 9 10 10 11 11 . . . . . .

A value |coeff| may be derived based on dec_abs_level. In this case, a transform coefficient value, i.e., |coeff|, may be derived as shown in the following equation.

|coeff|=dec_abs_level  [Equation 6]

In addition, the coeff_sign_flag may indicate a sign of a transform coefficient level at a corresponding scanning position n. That is, the coeff_sign_flag may indicate the sign of the transform coefficient at the corresponding scanning position n.

FIG. 5 shows an example of transform coefficients in a 4×4 block.

The 4×4 block of FIG. 5 represents an example of quantized coefficients. The block of FIG. 5 may be a 4×4 transform block, or a 4×4 sub-block of an 8×8, 16×16, 32×32, or 64×64 transform block. The 4×4 block of FIG. 5 may represent a luma block or a chroma block.

Meanwhile, as described above, when an input signal is not a binary value but a syntax element, the encoding apparatus may transform the input signal into a binary value by binarizing a value of the input signal. In addition, the decoding apparatus may decode the syntax element to derive a binarized value (e.g., a binarized bin) of the syntax element, and may de-binarize the binarized value to derive a value of the syntax element. The binarization process may be performed as a truncated rice (TR) binarization process, a k-th order Exp-Golomb (EGk) binarization process, a limited k-th order Exp-Golomb (limited EGk), a fixed-length (FL) binarization process, or the like. In addition, the de-binarization process may represent a process performed based on the TR binarization process, the EGk binarization process, or the FL binarization process to derive the value of the syntax element.

For example, the TR binarization process may be performed as follows.

An input of the TR binarization process may be cMax and cRiceParam for a syntax element and a request for TR binarization. In addition, an output of the TR binarization process may be TR binarization for symbolVal which is a value corresponding to a bin string.

Specifically, for example, in the presence of a suffix bin string for a syntax element, a TR bin string for the syntax element may be concatenation of a prefix bin string and the suffix bin string, and in the absence of the suffix bin string, the TR bin string for the syntax element may be the prefix bin string. For example, the prefix bin string may be derived as described below.

A prefix value of the symbolVal for the syntax element may be derived as shown in the following equation.

prefixVal=symbolVal>>cRiceParam  [Equation 7]

Herein, prefixVal may denote a prefix value of the symbolVal. A prefix (i.e., a prefix bin string) of the TR bin string of the syntax element may be derived as described below.

For example, if the prefixVal is less than cMax>>cRiceParam, the prefix bin string may be a bit string of length prefixVal+1, indexed by binIdx. That is, if the prefixVal is less than cMax>>cRiceParam, the prefix bin string may be a bit string of which the number of bits is prefixVal+1, indicated by binIdx. A bin for binIdx less than prefixVal may be equal to 1. In addition, a bin for the same binIdx as the prefixVal may be equal to 0.

For example, a bin string derived through unary binarization for the prefixVal may be as shown in the following table.

TABLE 6 prefixVal Bin string 0 0 1 1 0 2 1 1 0 3 1 1 1 0 4 1 1 1 1 0 5 1 1 1 1 1 0 . . . binIdx 0 1 2 3 4 5

Meanwhile, if the prefixVal is not less than cMax>>cRiceParam, the prefix bin string may be a bit string in which a length is cMax>>cRiceParam and all bits are 1.

In addition, if cMax is greater than symbolVal and if cRiceParam is greater than 0, a bin suffix bin string of a TR bin string may be present. For example, the suffix bin string may be derived as described below.

A suffix value of the symbolVal for the syntax element may be derived as shown in the following equation.

suffixVal=symbolVal−((prefixVal)<<cRiceParam)  [Equation 8]

Herein, suffixVal may denote a suffix value of the symbolVal.

A suffix of a TR bin string (i.e., a suffix bin string) may be derived based on an FL binarization process for suffixVal of which a value cMax is (1<<cRiceParam)−1.

Meanwhile, if a value of an input parameter, i.e., cRiceParam, is 0, the TR binarization may be precisely truncated unary binarization, and may always use the same value cMax as a possible maximum value of a syntax element to be decoded.

In addition, for example, the EGk binarization process may be performed as follows. A syntax element coded with ue(v) may be a syntax element subjected to Exp-Golomb coding.

For example, a 0-th order Exp-Golomb (EGO) binarization process may be performed as follows.

A parsing process for the syntax element may begin with reading a bit including a first non-zero bit starting at a current position of a bitstream and counting the number of leading bits equal to 0. The process may be represented as shown in the following table.

TABLE 7 leadingZeroBits = −1 for( b = 0; !b; leadingZeroBits++ )  b = read_bits( 1 )

In addition, a variable ‘codeNum’ may be derived as shown in the following equation.

codeNum=2^(leadingZeroBits)−1+read_bits(leadingZeroBits)  [Equation 9]

Herein, a value returned from read_bits(leadingZeroBits), that is, a value indicated by read_bits(leadingZeroBits), may be interpreted as binary representation of an unsigned integer for a most significant bit recorded first.

A structure of an Exp-Golomb code in which a bit string is divided into a “prefix” bit and a “suffix” bit may be represented as shown in the following table.

TABLE 8 Range of Bit string form codeNum 1 0 0 1 x₀ 1 . . . 2 0 0 1 x₁ x₀ 3 . . . 6 0 0 0 1 x₂ x₁ x₀ 7 . . . 14 0 0 0 0 1 x₃ x₂ x₁ x₀ 15 . . . 30 0 0 0 0 0 1 x₄ x₃ x₂ x₁ x₀ 31 . . . 62 . . . . . .

The “prefix” bit may be a bit parsed as described above to calculate leadingZeroBits, and may be represented by 0 or 1 of a bit string in Table 8. That is, the bit string disclosed by 0 or 1 in Table 8 above may represent a prefix bit string. The “suffix” bit may be a bit parsed in the computation of codeNum, and may be represented by xi in Table 8 above. That is, a bit string disclosed as xi in Table 8 above may represent a suffix bit string. Herein, i may be a value in the range of LeadingZeroBits−1. In addition, each xi may be equal to 0 or 1.

A bit string assigned to the codeNum may be as shown in the following table.

TABLE 9 Bit string codeNum 1 0 0 1 0 1 0 1 1 2 0 0 1 0 0 3 0 0 1 0 1 4 0 0 1 1 0 5 0 0 1 1 1 6 0 0 0 1 0 0 0 7 0 0 0 1 0 0 1 8 0 0 0 1 0 1 0 9 . . . . . .

If a descriptor of the syntax element is ue(v), that is, if the syntax element is coded with ue(v), a value of the syntax element may be equal to codeNum.

In addition, for example, the EGk binarization process may be performed as follows.

An input of the EGk binarization process may be a request for EGk binarization. In addition, the output of the EGk binarization process may be EGk binarization for symbolVal, i.e., a value corresponding to a bin string.

A bit string of the EGk binarization process for symbolVal may be derived as follows.

TABLE 10 absV = Abs( symbolVal ) stopLoop = 0 do  if( absV >= ( 1 << k ) ) {   put( 1 )   absV = absV − ( 1 << k )   k++  } else {   put( 0 )   while( k− − )    put( ( absV >> k ) & 1 )   stopLoop = 1  } while( !stopLoop )

Referring to Table 10 above, a binary value X may be added to an end of a bin string through each call of put(X). Herein, X may be 0 or 1.

In addition, for example, the limited EGk binarization process may be performed as follows.

An input of the limited EGk binarization process may be a request for limited EGk binarization, a rice parameter riceParam, log 2TransformRange as a variable representing a binary logarithm of a maximum value, and maxPreExtLen as a variable representing a maximum prefix extension length. In addition, an output of the limited EGk binarization process may be limited EGk binarization for symbolVal as a value corresponding to an empty string.

A bit string of the limited EGk binarization process for the symbolVal may be derived as follows.

TABLE 11 codeValue = symbolVal >> riceParam PrefixExtensionLength = 0 while( ( PrefixExtensionLength < maxPrefixExtensionLength ) &&   ( codeValue > ( ( 2 << PrefixExtensionLength ) − 2 ) ) ) {   PrefixExtensionLength++   put( 1 )  }  if( PrefixExtensionLength = = maxPrefixExtensionLength )  escapeLength = log2TransformRange  else {  escapeLength = PrefixExtensionLength + riceParam  put( 0 )  }  symbolVal = symbolVal − ( ( ( 1 << PrefixExtensionLength ) − 1 ) << riceParam )  while( ( escapeLength− − ) > 0 )   put( ( symbolVal >> escapeLength ) & 1 )

In addition, for example, the FL binarization process may be performed as follows.

An input of the FL binarization process may be a request for FL binarization and cMax for the syntax element. In addition, an output of the FL binarization process may be FL binarization for symbolVal as a value corresponding to a bin string.

FL binarization may be configured by using a bit string of which the number of bits has a fixed length of symbolVal. Herein, the fixed-length bit may be an unsigned integer bit string. That is, a bit string for symbolVal as a symbol value may be derived through FL binarization, and a bit length (i.e., the number of bits) of the bit string may be a fixed length.

For example, the fixed length may be derived as shown in the following equation.

fixedLength=Ceil(Log 2(cMax+1))[Equation 10]

Indexing of bins for FL binarization may be a method using a value which increases orderly from a most significant bit to a least significant bit. For example, a bin index related to the most significant bit may be binIdx=0.

Meanwhile, for example, a binarization process for a syntax element abs_remainder in the residual information may be performed as follows.

An input of the binarization process for the abs_remainder may be a request for binarization of a syntax element abs_remainder[n], a colour component cIdx, and a luma position (x0, y0). The luma position (x0, y0) may indicate a top-left sample of a current luma transform block based on the top-left luma sample of a picture.

An output of the binarization process for the abs_remainder may be binarization of the abs_remainder (i.e., a binarized bin string of the abs_remainder). Available bin strings for the abs_remainder may be derived through the binarization process.

A rice parameter cRiceParam for the abs_remainder[n] may be derived through a rice parameter derivation process performed by inputting the color component cIdx and luma position (x0, y0), the current coefficient scan position (xC, yC), log 2TbWidth, which is the binary logarithm of the width of the transform block, and log 2TbHeight, which is the binary logarithm of the height of the transform block. A detailed description of the rice parameter derivation process will be described later.

In addition, for example, cMax for abs_remainder[n] to be currently coded may be derived based on the rice parameter cRiceParam. The cMax may be derived as shown in the following equation.

cMax=6<<cRiceParam  [Equation 11]

Meanwhile, binarization for the abs_remainder, that is, a bin string for the abs_remainder, may be concatenation of a prefix bin string and a suffix bin string in the presence of the suffix bin string. In addition, in the absence of the suffix bin string, the bin string for the abs_remainder may be the prefix bin string.

For example, the prefix bin string may be derived as described below.

A prefix value prefixVal of the abs_remainder[n] may be derived as shown in the following equation.

prefixVal=Min(cMax,abs_remainder[n])  [Equation 12]

A prefix of the bin string (i.e., a prefix bin string) of the abs_remainder[n] may be derived through a TR binarization process for the prefixVal, in which the cMax and the cRiceParam are used as an input.

If the prefix bin string is identical to a bit string in which all bits are 1 and a bit length is 6, a suffix bin string of the bin string of the abs_remainder[n] may exist, and may be derived as described below.

The rice parameter deriving process for the dec_abs_level[n] may be as follows.

An input of the rice parameter deriving process may be a colour component index cIdx, a luma position (x0, y0), a current coefficient scan position (xC, yC), log 2TbWidth as a binary logarithm of a width of a transform block, and log 2TbHeight as a binary logarithm of a height of the transform block. The luma position (x0, y0) may indicate a top-left sample of a current luma transform block based on a top-left luma sample of a picture. In addition, an output of the rice parameter deriving process may be the rice parameter cRiceParam.

For example, a variable locSumAbs may be derived similarly to a pseudo code disclosed in the following table, based on an array AbsLevel[x][y] for a transform block having the given component index cIdx and the top-left luma position (x0, y0).

TABLE 12 locSumAbs = 0 if( xC < (1 << log2TbWidth) − 1 ) {  locSumAbs += AbsLevel[ xC + 1 ][ yC ]  if( xC < (1 << log2TbWidth) − 2 )   locSumAbs += AbsLevel[ xC + 2 ][ yC ]  if( yC < (1 << log2TbHeight) − 1 )   locSumAbs += AbsLevel[ xC + 1 ][ yC + 1 ] (1532) } if( yC < (1 << log2TbHeight) − 1 ) {  locSumAbs += AbsLevel[ xC ][ yC + 1 ]  if( yC < (1 << log2TbHeight) − 2 )   locSumAbs += AbsLevel[ xC ][ yC + 2 ] } locSumAbs = Clip3( 0, 31, locSumAbs − baseLevel * 5 )

Then, based on the given variable locSumAbs, the rice parameter cRiceParam may be derived as shown in the following table.

TABLE 13 locSumAbs 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 cRiceParam 0 0 0 0 0 0 0 1 1 1 1 1 1 1 2 2 locSumAbs 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 cRiceParam 2 2 2 2 2 2 2 2 2 2 2 2 3 3 3 3

Also, for example, in the rice parameter derivation process for abs_remainder[n], the baseLevel may be set to 4.

Alternatively, for example, the rice parameter cRiceParam may be determined based on whether a transform skip is applied to a current block. That is, if a transform is not applied to a current TB including a current CG, in other words, if the transform skip is applied to the current TB including the current CG, the rice parameter cRiceParam may be derived to be 1.

Also, a suffix value suffixVal of the abs_remainder may be derived as shown in the following equation.

suffixVal=abs_remainder[n]cMax  [Equation 13]

A suffix bin string of the bin string of the abs_remainder may be derived through a limited EGk binarization process for the suffixVal in which k is set to cRiceParam+1, riceParam is set to cRiceParam, and log 2TransformRange is set to 15, and maxPreExtLen is set to 11.

Meanwhile, for example, a binarization process for a syntax element dec_abs_level in the residual information may be performed as follows.

An input of the binarization process for the dec_abs_level may be a request for binarization of a syntax element dec_abs_level[n], a colour component cIdx, a luma position (x0, y0), a current coefficient scan position (xC, yC), log 2TbWidth as a binary logarithm of a width of a transform block, and log 2TbHeight as a binary logarithm of a height of the transform block. The luma position (x0, y0) may indicate a top-left sample of a current luma transform block based on a top-left luma sample of a picture.

An output of the binarization process for the dec_abs_level may be binarization of the dec_abs_level (i.e., a binarized bin string of the dec_abs_level). Available bin strings for the dec_abs_level may be derived through the binarization process.

A rice parameter cRiceParam for dec_abs_level[n] may be derived through a rice parameter deriving process performed with an input of the colour component cIdx, the luma position (x0, y0), the current coefficient scan position (xC, yC), the log 2TbWidth as the binary logarithm of the width of the transform block, and the log 2TbHeight as the binary logarithm of the height of the transform block. The rice parameter deriving process will be described below in detail.

In addition, for example, cMax for the dec_abs_level[n] may be derived based on the rice parameter cRiceParam. The cMax may be derived as shown in the following table.

cMax=6<<cRiceParam  [Equation 14]

Meanwhile, binarization for the dec_abs_level[n], that is, a bin string for the dec_abs_level[n], may be concatenation of a prefix bin string and a suffix bin string in the presence of the suffix bin string. In addition, in the absence of the suffix bin string, the bin string for the dec_abs_level[n] may be the prefix bin string.

For example, the prefix bin string may be derived as described below.

A prefix value prefixVal of the dec_abs_level[n] may be derived as shown in the following equation.

prefixVal=Min(cMax,dec_abs_level[n])  [Equation 15]

A prefix of the bin string (i.e., a prefix bin string) of the dec_abs_level[n] may be derived through a TR binarization process for the prefixVal, in which the cMax and the cRiceParam are used as an input.

If the prefix bin string is identical to a bit string in which all bits are 1 and a bit length is 6, a suffix bin string of the bin string of the dec_abs_level[n] may exist, and may be derived as described below.

The rice parameter deriving process for the dec_abs_level[n] may be as follows.

An input of the rice parameter deriving process may be a colour component index cIdx, a luma position (x0, y0), a current coefficient scan position (xC, yC), log 2TbWidth as a binary logarithm of a width of a transform block, and log 2TbHeight as a binary logarithm of a height of the transform block. The luma position (x0, y0) may indicate a top-left sample of a current luma transform block based on a top-left luma sample of a picture. In addition, an output of the rice parameter deriving process may be the rice parameter cRiceParam.

For example, a variable locSumAbs may be derived similarly to a pseudo code disclosed in the following table, based on an array AbsLevel[x][y] for a transform block having the given component index cIdx and the top-left luma position (x0, y0).

TABLE 14 locSumAbs = 0 if( xC < (1 << log2TbWidth) − 1 ) {  locSumAbs += AbsLevel[ xC + 1 ][ yC ]  if( xC < (1 << log2TbWidth) − 2 )   locSumAbs += AbsLevel[ xC + 2 ][ yC ]  if( yC < (1 << log2TbHeight) − 1 )   locSumAbs += AbsLevel[ xC + 1 ][ yC + 1 ] (1532) } if( yC < (1 << log2TbHeight) − 1 ) {  locSumAbs += AbsLevel[ xC ][ yC + 1 ]  if( yC < (1 << log2TbHeight) − 2 )   locSumAbs += AbsLevel[ xC ][ yC + 2 ] } locSumAbs = Clip3( 0, 31, locSumAbs − baseLevel * 5)

Then, based on the given variable locSumAbs, the rice parameter cRiceParam may be derived as shown in the following table.

TABLE 15 locSumAbs 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 cRiceParam 0 0 0 0 0 0 0 1 1 1 1 1 1 1 2 2 locSumAbs 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 cRiceParam 2 2 2 2 2 2 2 2 2 2 2 2 3 3 3 3

Also, for example, in the rice parameter derivation process for dec_abs_level[n], the baseLevel may be set to 0, and the ZeroPos[n] may be derived as follows.

ZeroPos[n]=(QState<2?1:2)<<cRiceParam  [Equation 16]

In addition, a suffix value suffixVal of the dec_abs_level[n] may be derived as shown in the following equation.

suffixVal=dec_abs_level[n]−cMax  [Equation 17]

A suffix bin string of the bin string of the dec_abs_level[n] may be derived through a limited EGk binarization process for the suffixVal in which k is set to cRiceParam+1, truncSuffixLen is set to 15, and maxPreExtLen is set to 11.

Meanwhile, the RRC and the TSRC may have the following differences.

-   -   For example, the Rice parameter for the syntax element         abs_remainder[ ] in TSRC may be derived as 1. The Rice parameter         cRiceParam of the syntax element abs_remainder[ ] in RRC may be         derived based on the lastAbsRemainder and the lastRiceParam as         described above, but the Rice parameter cRiceParam of the syntax         element abs_remainder [ ] in TSRC may be derived as 1. That is,         for example, when transform skip is applied to the current block         (e.g., the current TB), the Rice parameter cRiceParam for         abs_remainder[ ] of the TSRC for the current block may be         derived as 1.     -   Also, for example, referring to Table 3 and Table 4, in the RRC,         abs_level_gtx_flag [n][0] and/or abs_level_gtx_flag[n][1] may be         signaled, but in the TSRC, abs_level_gtx_flag[n][0],         abs_level_gtx_flag[n] [1], abs_level_gtx_flag[n] [2],         abs_level_gtx_flag [n] [3], and abs_level_gtx_flag[n][4] may be         signaled. Here, the abs_level_gtx_flag[n][0] may be expressed as         abs_level_gt1_flag or a first coefficient level flag, the         abs_level_gtx_flag [n][1] may be expressed as abs_level_gt3_flag         or a second coefficient level flag, the abs_level_gtx_flag[n][2]         may be expressed as abs_level_gt5_flag or a third coefficient         level flag, the abs_level_gtx_flag[n][3] may be expressed as         abs_level_gt7_flag or a fourth coefficient level flag, and the         abs_level_gtx_flag[n] [4] may be expressed as abs_level_gt9_flag         or a fifth coefficient level flag. Specifically, the first         coefficient level flag may be a flag for whether a coefficient         level is greater than a first threshold (for example, 1), the         second coefficient level flag may be a flag for whether a         coefficient level is greater than a second threshold (for         example, 3), the third coefficient level flag may be a flag for         whether a coefficient level is greater than a third threshold         (for example, 5), the fourth coefficient level flag may be a         flag for whether a coefficient level is greater than a fourth         threshold (for example, 7), the fifth coefficient level flag may         be a flag for whether a coefficient level is greater than a         fifth threshold (for example, 9). As described above, in the         TSRC, compared to the RRC, abs_level_gtx_flag[n][0],         abs_level_gtx_flag[n] [1], and abs_level_gtx_flag[n][2],         abs_level_gtx_flag[n][3], abs_level_gtx_flag[n][4] may be         further included.     -   Also, for example, in the RRC, the syntax element         coeff_sign_flag may be bypass coded, but in the TSRC, the syntax         element coeff_sign_flag may be bypass coded or context coded.     -   Also, for example, when the context-coded bin for the current         block is exhausted, in the RRC, it may be coded as the syntax         element dec_abs_level, but in the TSRC, it may be coded as a         syntax element abs remainder.     -   Also, for example, the order of parsing transform coefficients         of the RRC may be parsed in a promised order in the bottom         right-top left direction based on the last non-zero coefficient,         but in the case of the TSRC, it may be parsed in a promised         order in the upper left-bottom right direction, and the position         of the last non-zero coefficient may be omitted.     -   Also, for example, in the RRC, a dependent quantization (DQ) or         a sign data hiding method (SDH) method may be applied, but in         the TSRC, dependent quantization and sign data hiding methods         may not be used.

Also, a sign data hiding (SDH) method may be proposed in relation to residual coding. The sign data hiding method may be as follows.

In deriving the transform coefficient, the sign of the transform coefficient may be derived based on a 1-bit sign flag (the above-described syntax element coeff_sign_flag). In this regard, SDH may indicate a technique for omitting explicit signaling of coeff_sign_flag for the first significant transform coefficient in a sub-block/coefficient group (CG) in order to improve coding efficiency. Here, the value of coeff_sign_flag for the first significant transform coefficient may be derived based on the sum of absolute levels (i.e., absolute values) of the significant transform coefficients in the corresponding sub-block/coefficient group. That is, the sign of the first significant transform coefficient may be derived based on the sum of absolute levels of the significant transform coefficients in the corresponding sub-block/coefficient group. Meanwhile, the significant transform coefficient may refer to a non-zero transform coefficient whose (absolute) value is not 0. For example, when the sum of absolute levels for the significant transform coefficients is even, the value of coeff_sign_flag for the first significant transform coefficient may be derived as 1, while, when the sum of absolute levels for the significant transform coefficients is odd, the value of coeff_sign_flag for the first significant transform coefficient may be derived as 0. In other words, for example, when the sum of absolute levels for the significant transform coefficients is even, the sign for the first significant transform coefficient may be derived as a negative value, while, when the sum of absolute levels for the significant transform coefficients is odd, the sign for the first significant transform coefficient may be derived as a positive value. Alternatively, for example, when the sum of absolute levels for the significant transform coefficients is even, the value of coeff_sign_flag for the first significant transform coefficient may be derived as 0, while, when the sum of absolute levels for the significant transform coefficients is odd, the value of coeff_sign_flag for the first significant transform coefficient may be derived as 1. In other words, for example, when the sum of absolute levels for the significant transform coefficients is even, the sign for the first significant transform coefficient may be derived as a positive value, while, when the sum of absolute levels for the significant transform coefficients is odd, the sign for the first significant transform coefficient may be derived as a negative value.

For example, the SDH in the residual syntax may be expressed as shown in the following table.

TABLE 16 } signHiddenFlag = sh_sign_data_hiding_used_flag &&   ( lastSigScanPosSb − firstSigScanPosSb > 3 ? 1 : 0 ) for( n = numSbCoeff − 1; n >= 0; n− − ) {  xC = ( xS << log2SbW ) + DiagScanOrder[ log2SbW ][ log2SbH ][ n ][ 0 ]  yC = ( yS << log2SbH ) + DiagScanOrder[ log2SbW ][ log2SbH ][ n ][ 1 ]  if( ( AbsLevel[ xC ][ yC ] > 0 ) &&   ( !signHiddenFlag || ( n != firstSigScanPosSb ) ) )   coeff_sign_flag[ n ] ae(v)

Referring to Table 16, the variable signHiddenFlag may indicate whether the SDH is applied. The variable signHiddenFlag may be also called signHidden. For example, when the value of the variable signHiddenFlag is 0, the variable signHiddenFlag may indicate that the SDH is not applied, while, when the value of the variable signHiddenFlag is 1, the variable signHiddenFlag may indicate that the SDH is applied. For example, the value of the variable signHiddenFlag may be set based on signaled flag information (e.g., sh_sign_data_hiding_used_flag or pic_sign_data_hiding_enabled_flag or sps_sign_data_hiding_enabled_flag). Also, for example, the value of the variable signHiddenFlag may be set based on lastSigScanPosSb and firstSigScanPosSb. Here, lastSigScanPosSb may indicate the position of the last significant transform coefficient searched in the corresponding sub-block/coefficient group according to the scan order, and firstSigScanPosSb may indicate a position of a first significant transform coefficient searched in a corresponding sub-block/coefficient group according to a scan order. In general, lastSigScanPosSb may be located in a relatively high frequency component region than firstSigScanPosSb. Accordingly, when lastSigScanPosSb−firstSigScanPosSb is greater than a predetermined threshold, the signHidden value may be derived as 1 (that is, SDH is applied), while otherwise the signHidden value may be derived as 0 (that is, SDH is not applied). Here, for example, referring to Table 35, the threshold value may be set to 3.

In addition, referring to Table 16, even if the value of signHiddenFlag is 0 (i.e., !signHiddenFlag), if the current coefficient is not the first significant coefficient in the (sub)block according to the scan order (i.e., n!=firstSigScanPosSb), then the coeff_sign_flag[n] for the current coefficient may be explicitly signaled.

Also, referring to Table 16, if the value of signHiddenFlag is 1, and the current coefficient is the first significant coefficient in the (sub)block according to the scan order (i.e., n=first SigScanPosSb), then explicit signaling of coeff_sign_flag[n] for the current coefficient may be omitted. In this case, the value of coeff_sign_flag[n] for the current coefficient (i.e., the first significant coefficient) may be derived as follows. For example, the value of coeff_sign_flag[n] for the first significant coefficient may be derived based on coeff_sign_flag[n] values for the significant coefficients in the corresponding (sub) block. For example, when the sum of coeff_sign_flag[n] values for the significant coefficients is even, coeff_sign_flag[n] for the first significant coefficient may be derived as 1, while, when the sum of coeff_sign_flag[n] values for the remaining significant coefficients except for the first significant coefficient is odd, coeff_sign_flag[n] for the first significant coefficient may be derived as 0. Alternatively, when the sum of coeff_sign_flag[n] values for the significant coefficients is even, coeff_sign_flag[n] for the first significant coefficient may be derived as 0, while, when the sum of coeff_sign_flag[n] values for the significant coefficients is odd, coeff_sign_flag[n] for the first significant coefficient may be derived as 1.

Meanwhile, if in high-level syntax (VPS, SPS, PPS, slice header syntax, etc.) or low-level syntax (slice data syntax, coding unit syntax, transformation unit syntax, etc.), the above-described sign data hiding is activated, and if the sh_ts_residual_coding_disabled_flag is 1, then the sign data hiding process of RRC may be used in lossless coding. Accordingly, the lossless coding may become impossible due to incorrect settings in the encoding apparatus. Alternatively, if loss coding (that is, an irreversible coding method) other than lossless coding is applied, and the residual signal to which the transform skip has been applied is coded with RRC while at the same time BDPCM is applied, then the BDPCM may be subjected to coding loss because SDH is performed in accordance with the SDH application condition, despite the fact that the interval in which the residual value becomes 0 occurs more frequently than in the general case due to the difference between the residuals. Specifically, for example, if significant transform coefficients (non-zero residual data) exist at positions 0 and 15 in the CG, respectively, and the values of the transform coefficients at the remaining positions in the CG are 0, then SDH may be applied to the CG according to the above-described SDH application conditions, and thus sign data (i.e., coding of a sign flag) for the first significant transform coefficient of the CG may be omitted. Accordingly, in this case, the parity of only two residual data of the CG may be adjusted in the quantization step in order to omit the sign data, and thus more coding loss may occur than in the case where SDH is not applied. Such cases may also occur in blocks to which the BDPCM is not applied, but due to the characteristics of BDPCM, the level is lowered through the difference with the neighboring residual, so disadvantageous cases may occur more frequently in applying the SDH.

Accordingly, in this document, in order to prevent an unintended coding loss or malfunction caused by using together SDH and residual coding when sh_ts_residual_coding_disabled_flag=1 (that is, coding the residual samples of transform skip blocks in the current slice with the RRC), there are provided embodiments for setting a dependency/constraint between the two techniques described above.

Meanwhile, as described above, the residual data coding method may include regular residual coding (RRC) and transform skip residual coding (TSRC).

As shown in Table 1, the residual data coding method for the current block among the above two methods may be determined based on values of transform_skip_flag and sh_ts_residual_coding_disabled_flag. Here, the syntax element sh_ts_residual_coding_disabled_flag may indicate whether the TSRC is enabled. Accordingly, even when the transform_skip_flag indicates that transform is skipped, if sh_ts_residual_coding_disabled_flag indicates that the TSRC is not enabled, then syntax elements according to RRC with respect to the transform skip block may be signaled. That is, when the value of transform_skip_flag is 0 or the value of sh_ts_residual_coding_disabled_flag is 1, the RRC may be used, while otherwise the TSRC may be used.

This document proposes as an embodiment a method in which sh_ts_residual_coding_disabled_flag is dependent on pic_sign_data_hiding_enabled_flag. For example, the syntax elements proposed in this embodiment may be as shown in the following table.

TABLE 17 slice header( ) { Descriptor  picture header in slice header flag u(1)  if( picture header in slice header flag )   picture header structure( )  (...)  if(!pic sign data hiding enabled flag)   sh ts residual coding disabled flag u(1)  if( ph lmcs enabled flag )   slice lmcs enabled flag u(1)  if( pic scaling list enabled flag )   slice scaling list present flag u(1)  if( NumEntryPoints > 0 ) {   offset len minus1 ue(v)   for( i = 0; i < NumEntryPoints; i++ )    entry_point_offset_minus1[ i ] u(v)  }  if( slice header extension present flag ) {   slice_header_extension_length ue(v)   for( i = 0; i < slice header extension length; i++)    slice header extension data byte[ i ] u(8)  }  byte alignment( ) }

Here, for example, the pic_sign_data_hiding_enabled_flag may be a flag for whether the sign data hiding is enabled. For example, pic_sign_data_hiding_enabled_flag may indicate whether sign data hiding is enabled. That is, for example, pic_sign_data_hiding_enabled_flag may indicate whether sign data hiding is enabled for blocks of pictures for a sequence or picture header structure (i.e., picture_header_structure( )). For example, pic_sign_data_hiding_enabled_flag may indicate whether a sign data hiding used flag indicating whether sign data hiding is used for the current slice may be present. For example, the pic_sign_data_hiding_enabled_flag whose value is 1 may indicate that the sign data hiding is enabled, while the pic_sign_data_hiding_enabled_flag whose value is 0 may indicate that the sign data hiding is not enabled. For example, the pic_sign_data_hiding_enabled_flag whose value is 1 may indicate that a sign flag to which the sign data hiding has been applied may be present, while the pic_sign_data_hiding_enabled_flag whose value is 0 may indicate that the sign flag to which the sign data hiding has been applied is not present.

According to Table 17 described above, sh_ts_residual_coding_disabled_flag may be signaled only when sign data hiding is not enabled. Additionally, when sign data hiding is enabled, sh_ts_residual_coding_disabled_flag may not be signaled, and the value of sh_ts_residual_coding_disabled_flag may be inferred to be 0 (coding the residual samples of the transform skip block in the current slice with TSRC syntax) or 1 (coding the residual samples of the transform skip block in the current slice with RRC syntax).

Here, for example, the pic_sign_data_hiding_enabled_flag may be signaled as a picture header syntax or a slice header syntax. For example, when the pic_sign_data_hiding_enabled_flag is signaled as a syntax other than the picture header syntax, it may be called another name. For example, the pic_sign_data_hiding_enabled_flag may be represented as slice_sign_data_hiding_enabled_flag. Additionally, sh_ts_residual_coding_disabled_flag may be signaled as a slice header syntax, or may be signaled in a high level syntax (HLS)(e.g., SPS syntax/VPS syntax/PPS syntax/PH syntax/DPS syntax, etc.) or low level (CU/TU) other than the slice header syntax. When the residual coding method is determined by whether SDH is enabled regardless of an upper/lower relationship of signaled syntaxes or a position on the syntax, it may be interpreted as conforming to the present embodiment.

Meanwhile, according to the conventional image/video coding, in high-level syntax (SPS syntax/VPS syntax/PPS syntax/DPS syntax/picture header syntax/slice header syntax, etc.) or low level (CU/TU), the SDH is enabled, and when sh_ts_residual_coding_disabled_flag is 1, the SDH in the above-described RRC may be used for lossless coding, so the lossless coding may become impossible due to an incorrect setting in the encoding apparatus. Accordingly, in this document, in order to prevent an unintended coding loss or malfunction caused by using together SDH and residual coding when sh_ts_residual_coding_disabled_flag=1 (that is, coding the residual samples of transform skip blocks in the current slice with the RRC), there is provided an embodiment in which the SDH is not used in coding the level of the transform coefficient when the value of transform_skip_flag is 1. The residual coding syntax according to the proposed embodiment may be as in the following table.

TABLE 18 residual_coding( x0, y0, log2TbWidth, log2TbHeight, cIdx ) { Descriptor  if( sps_mts_enabled_flag && cu_sbt_flag && cIdx = = 0 &&    log2TbWidth = = 5 && log2TbHeight < 6 )   log2ZoTb Width = 4  else   log2ZoTbWidth = Min( log2TbWidth, 5 )  if( sps_mts_enabled_flag && cu_sbt_flag && cIdx = = 0 &&    log2TbWidth < 6 && log2TbHeight = = 5 )   log2ZoTbHeight = 4  else   log2ZoTbHeight = Min( log2TbHeight, 5 )  if( log2TbWidth > 0 )   last_sig_coeff_x_prefix ae(v)  if( log2TbHeight > 0 )   last_sig_coeff_y_prefix ae(v)  if( last sig coeff x prefix > 3 )   last_sig_coeff_x_suffix ae(v)  if( last sig coeff y prefix > 3 )   last_sig_coeff_y_suffix ae(v)  log2TbWidth = log2ZoTbWidth  log2TbHeight = log2ZoTbHeight  remBinsPass1 = ( ( 1 << ( log2TbWidth + log2TbHeight)) * 7 ) >> 2  log2SbW = (Min( log2TbWidth, log2TbHeight) < 2 ? 1 : 2 )  log2SbH = log2SbW  if( log2TbWidth + log2TbHeight > 3 )   if( log2TbWidth < 2 ) {    log2SbW = log2TbWidth    log2SbH = 4 − log2SbW   } else if( log2TbHeight < 2 ) {    log2SbH = log2TbHeight    log2SbW = 4 − log2SbH   }  numSbCoeff = 1 << (log2SbW + log2SbH)  lastScanPos = numSbCoeff  lastSubBlock = ( 1 << (log2TbWidth + log2TbHeight − (log2SbW + log2Sb H ) ) ) − 1  do {   if( lastScanPos = = 0 ) {    lastScanPos = numSbCoeff    lastSubBlock− −   }   lastScanPos− −   xS = DiagScanOrder[ log2TbWidth − log2SbW ][ log2TbHeight − log2SbH ]         [ lastSubBlock ][ 0 ]   yS = DiagScanOrder[ log2TbWidth − log2SbW ][ log2TbHeight − log2SbH ]         [ lastSubBlock ][ 1 ]  xC = (xS << log2SbW) + DiagScanOrder[ log2SbW ][ log2SbH ] [ lastScanPos ] [ 0 ]  yC = (yS << log2SbH) + DiagScanOrder[ log2SbW ][ log2SbH ][ lastScanPos ] [ 1 ]  } while( (xC != LastSignificantCoeffX) | | (yC != LastSignificantCoeffY) )  if( lastSubBlock = = 0 && log2TbWidth >= 2 && log2TbHeight >= 2 & &    !transform skip flag[ x0 ][ y0 ][ cIdx ] && lastScanPos > 0 )   LfnstDcOnly = 0  if( (lastSubBlock > 0 && log2TbWidth >= 2 && log2TbHeight >= 2 ) | |    (lastScanPos > 7 && (log2TbWidth = = 2 | | log2TbWidth = = 3 ) & &    log2TbWidth = = log2TbHeight ) )   LfstZeroOutSigCoeffFlag = 0  if( (lastSubBlock > 0 | | lastScanPos > 0 ) && cIdx = = 0 )   MtsDcOnly = 0  QState = 0  for( i = lastSubBlock; i >= 0; i− − ) {   startQStateSb = Q State   xS = DiagScanOrder[ log2TbWidth − log2SbW ][ log2TbHeight − log2SbH ]        [ i ][ 0]  yS = DiagScanOrder[ log2TbWidth − log2SbW ][ log2TbHeight − log2SbH ]        [ i ][ 1 ]  inferSbDcSigCoeffFlag = 0   if( i < lastSubBlock && i > 0 ) {    coded_sub_block_flag[ xS ][ yS ] ae(v)    inferSbDcSigCocfFlag = 1   }   if( coded_sub_block_flag[ xS ][ yS ] && ( xS > 3 | | yS > 3 ) && cIdx = = 0)    MtsZeroOutSigCoeffFlag = 0   firstSigScanPosSb = numSbCoeff   lastSigScanPosSb = −1   firstPosMode0 = (i = = lastSubBlock ? lastScanPos : numSbCoeff − 1)   firstPosMode1 = firstPosMode0   for( n = firstPosMode0; n >= 0 && remBinsPass1 >= 4; n− − ){    xC = ( xS << log2SbW ) + DiagScanOrder[ log2SbW ][ log2SbH ][ n ] [ 0 ]    yC = ( yS << log2SbH) + DiagScanOrder[ log2SbW ][ log2SbH ][ n ] [ 1 ]    if(coded_sub_block_flag[ xS ][ yS ] && (n > 0 | | !inferSbDcSigCoeffFlag) &&     (xC != LastSignificantCoeffX | | yC != Last SignificantCoeffY ) ) {     sig_coeff_flag[ xC ][ yC ] ae(v)     remBinsPass1− −     if( sig_coeff_flag[ xC ][ yC ] )      inferSbDcSigCoeffFlag = 0    }    if( sig_coeff_flag[ xC ][ yC ] ) {     abs_level_gtx_flag[ n ][ 0 ] ae(v)     remBinsPass1− −     if( abs_level_gtx_flag[ n ][ 0 ] ) {      par_level_flag[ n ] ae(v)      remBinsPass1− −      abs_level_gtx_flag[ n ][ 1 ] ae(v)      remBinsPass1− −     }     if( lastSigScanPosSb = = −1)      lastSigScanPosSb = n     firstSigScanPosSb = n    }    AbsLevelPassl[ xC ][ yC ] = sig_coeff_flag[ xC ][ yC ] + par_level_flag [ n ] +           abs_level_gtx flag[ n ][ 0 ] + 2 * abs_level_gtx flag [ n ] [ 1 ]    if( ph_dep_quant_enabled_flag)     QState = QStateTransTable[ QState ][ AbsLevelPass1[ xC ][ yC ] & 1 ]    firstPosModel = n − 1   }   for( n = firstPosMode0; n > firstPosMode1; n− − ) {    xC = ( xS << log2SbW ) + DiagScanOrder[ log2SbW ][ log2SbH ][ n ] [ 0 ]    yC = ( yS << log2SbH) + DiagScanOrder[ log2SbW ][ log2SbH ][ n ] [ 1 ]    if( abs_level_gtx_flag[ n ][ 1 ] )     abs remainder[ n ] ae(v)    AbsLevel[ xC ][ yC ] = AbsLevelPass1[ xC ][ yC ] +2 * abs remainder[ n ]   }   for( n = firstPosMode 1; n >= 0; n− − ) {    xC = ( xS << log2SbW ) + DiagScanOrder[ log2SbW ][ log2SbH ][ n ] [ 0 ]    yC = ( yS << log2SbH ) + DiagScanOrder[ log2SbW ][ log2SbH ][ n ] [ 1 ]    if( coded_sub_block_flag[ xS ][ yS ] )     dec_abs_level[ n ] ae(v)    if( AbsLevel )[ xC ][ yC ] > 0 ) {     if( lastSigScanPosSb = = −1 )      lastSigScanPosSb = n     firstSigScanPosSb = n    }    if( ph_dep quant enabled flag)     QState = QStateTransTable[ QState ][ AbsLevel[ xC ][ yC ] & 1 ]   }   if( ph_dep_quant_enabled_flag | | !pic_sign_data_hiding_enabled_flag | | transform_skip_flag[x0][y0][cIdx] )    signHidden = 0   else    signHidden = (lastSigScanPosSb − FirstSigScanPosSb > 3 ? 1 : 0 )   for( n = numSbCoeff − 1; n >= 0; n− − ) {    xC = ( xS << log2SbW ) + DiagScanOrder[ log2SbW ][ log2SbH ][ n ] [ 0 ]    yC = ( yS << log2SbH) + DiagScanOrder[ log2SbW ][ log2SbH ][ n ] [ 1 ]    if( (AbsLevel[ xC ][ yC ] > 0 ) &&     ( !signHidden | | (n != firstSigScanPosSb ) ) )     coeff_sign_flag[ n ] ae(v)   }   if( ph_dep_quant_enabled_flag ) {    QState = startQStateSb    for( n = numSbCoeff − 1; n >= 0; n− − )     xC = (xS << log2SbW) + DiagScanOrder[ log2SbW ][ log2SbH ][ n ] [ 0 ]     yC = (yS << log2SbH ) + DiagScanOrder[ log2SbW ][ log2SbH ][ n ] [ 1 ]     if( AbsLevel[ xC ][ yC ] > 0 )      TransCoeffLevel[ x0 ] [ y0 ] [ cIdx ] [ xC ] [ yC ] =         (2 * AbsLevel[ xC ][ yC ] − ( QState > l ? 1 : 0 ) ) *         ( 1 − 2 * coeff sign flag[ n ] )     QState = QStateTransTable[ QState ][ AbsLevel[ xC ][yC ] & 1 ]   } else {    sumAbsLevel = 0    for( n = numSbCoeff − 1; n >= 0; n− − ) {     xC = (xS << log2SbW) + DiagScanOrder[ log2SbW ][ log2SbH ][ n ] [ 0 ]     yC = (yS << log2SbH ) + DiagScanOrder[ log2SbW ][ log2SbH ][ n ] [ 1 ]     if( AbsLevel[ xC ][ yC ] > 0 ) {      TransCoeffLevel[ x0 ][ y0 ][ cIdx ][ xC ][ yC ] =         AbsLevel[ xC ][ yC ] * ( 1 − 2 * coeff sign flag[ n ] )      if( signHidden ) {       sumAbsLevel += AbsLevel[ xC ][ yC ]       if( (n = = firstSigScanPosSb ) && ( sumAbsLevel % 2 ) = = 1) )        TransCoeffLevel[ x0 ][ y0 ][ cIdx ][ xC ][ yC ] =           −TransCoeffLevel[ x0 ][ y0 ][ cIdx ][ xC ][ yC ]       }      }     }    }   }  }

Referring to Table 18 described above, a variable signHidden indicating whether the SDH is applied may be derived based on a value of transform_skip_flag. For example, when the value of transform_skip_flag is 1, the value of signHidden may be derived as 0. That is, for example, when the value of transform_skip_flag is 1, the SDH may not be applied in deriving the sign of the transform coefficient of the current block.

Additionally, in this document, in order to prevent an unintended coding loss or malfunction caused by using together SDH and residual coding when sh_ts_residual_coding_disabled_flag=1 (that is, coding the residual samples of transform skip blocks in the current slice with the RRC), there is provided an embodiment in which the SDH is not used in coding the level of the transform coefficient when the value of BdpcmFlag is 1. The residual coding syntax according to the proposed embodiment may be as in the following table.

TABLE 19 residual coding( x0, y0, log2TbWidth, log2TbHeight, cIdx ) { Descriptor  if( sps_mts_enabled_flag && cu_sbt_flag && cIdx = = 0 &&    log2TbWidth = = 5 && log2TbHeight < 6 )   log2ZoTbWidth = 4  else   log2ZoTbWidth = Min( log2TbWidth, 5 )  if( sps_mts_enabled_flag && cu_sbt_flag && cIdx = = 0 &&    log2TbWidth < 6 && log2TbHeight = = 5 )   log2ZoTbHeight = 4  else   log2ZoTbHeight = Min( log2TbHeight, 5 )  if( log2TbWidth > 0 )   last_sig_coeff_x_prefix ae(v)  if( log2TbHeight > 0 )   last_sig_coeff_y_prefix ae(v)  if( last_sig_coeff_x_prefix > 3 )   last_sig_coeff_x_suffix ae(v)  if( last_sig_coeff_y_prefix > 3 )   last_sig_coeff_y_suffix ae(v)  log2TbWidth = log2ZoTbWidth  log2TbHeight = log2ZoTbHeight  remBinsPass1 = ( ( 1 << (log2TbWidth + log2TbHeight )) * 7 ) >> 2  log2SbW = ( Min( log2TbWidth, log2TbHeight) < 2 ? 1 : 2 )  log2SbH = log2SbW  if( log2TbWidth + log2TbHeight > 3 )   if( log2TbWidth < 2) {    log2SbW = log2TbWidth    log2SbH = 4 − log2SbW   } else if( log2TbHeight < 2 ) {    log2SbH = log2TbHeight    log2SbW = 4 − log2SbH   }  numSbCoeff = 1 << ( log2SbW + log2SbH )  lastScanPos = numSbCoeff  lastSubBlock = ( 1 << (log2TbWidth + log2TbHeight − ( log2SbW + log2Sb H ) ) ) − 1  do {   if( lastScanPos = = 0 ) {    lastScanPos = numSbCoeff    lastSubBlock− −   }   lastScanPos− −   xS = DiagScanOrder[ log2TbWidth − log2SbW ][ log2TbHeight − log2SbH ]         [ lastSubBlock ][ 0 ]   yS = DiagScanOrder[ log2TbWidth − log2SbW ][ log2TbHeight − log2SbH ]         [ lastSubBlock ][ 1 ]   xC = ( xS << log2SbW ) + DiagScanOrder[ log2SbW ][ log2SbH ][ lastScan Pos ][ 0 ]   yC = ( yS << log2SbH ) + DiagScanOrder[ log2SbW ][ log2SbH ][ lastScan Pos ][ 1 ]  } while( ( xC != LastSignificantCoeffX) | | ( yC != LastSignificantCoeffY ) )  if( lastSubBlock = = 0 && log2TbWidth >= 2 && log2TbHeight >= 2 & &    !transform_skip_flag| x0 | | y0 | | cIdx | && lastScanPos > 0 )   LfnstDcOnly = 0  if( ( lastSubBlock > 0 && log2TbWidth >= 2 && log2TbHeight >= 2 ) | |    ( lastScanPos > 7 && (log2TbWidth = = 2 | | log2TbWidth = = 3 ) & &    log2TbWidth = = log2TbHeight ) )   LfhstZeroOutSigCoeffFlag = 0  if( (lastSubBlock > 0 | | lastScanPos > 0 ) && cIdx = = 0 )   MtsDcOnly = 0 QState = 0 for( i = lastSubBlock; i >= 0; i− − ) {   startQStateSb = QState   xS = DiagScanOrder[ log2TbWidth − log2SbW ][ log2TbHeight − log2SbH ]         [ i ][ 0 ]   yS = DiagScanOrder[ log2TbWidth − log2SbW ][ log2TbHeight − log2SbH ]         [ i ][ 1 ]   inferSbDcSigCoeffFlag = 0   if( i < lastSubBlock && i > 0 ) {    coded_sub_block_flag[ xS ][ yS ] ae(v)    inferSbDcSigCocfFlag = 1   }   if( coded_sub_block_flag[xS][yS] && (xS >3 | | yS > 3 ) && cIdx = = 0)    MtsZeroOutSigCoeffFlag = 0   firstSigScanPosSb = numSbCoeff   lastSigScanPosSb = −1   firstPosMode0 = (i = = lastSubBlock ? lastScanPos : numSbCoeff − 1)   firstPosMode1 = firstPosMode0   for( n = firstPosMode0; n >= 0 && remBinsPassl >= 4; n− − ) {    xC = ( xS << log2SbW ) + DiagScanOrder[ log2SbW ][ log2SbH ][ n ] [ 0 ]    yC = ( yS << log2SbH ) + DiagScanOrder[ log2SbW ][ log2SbH ][ n ] [ 1 ]    if(coded_sub_block_flag[ xS ][ yS ] && (n > 0 | | !inferSbDcSigCoeffFlag) &&     (xC != LastSignificantCoefX | | yC != Last SignificantCoeffY ) ) {     sig_coeff_flag[ xC ][ yC ] ae(v)     remBinsPass1− −     if( sig_coeff_flag[ xC ][ yC ] )      inferSbDcSigCoeffFlag = 0    }    if sig coeff flag[ xC ][ yC ] ) {     abs_level_gtx_flag[ n ][ 0 ] ae(v)     remBinsPass1− −     if( abs_level_gtx_flag[ n ][ 0 ] ) {      par_level_flag[ n ] ae(v)      remBinsPass1− −      abs level gtx flag n II 1 ] ae(v)      remBinsPass1− −     }     if( lastSigScanPosSb = = −1 )      lastSigScanPosSb = n     firstSigScanPosSb = n    }    AbsLevelPass1[ xC ][ yC ] = sig_coeff_flag[ xC ][ yC ] + par_level_flag [ n ] +          abs_level_gtx flag[ n ][ 0 ] + 2 * abs level_gtx flag[ n ] [ 1 ]    if( ph dep quant enabled flag)     QState = QStateTransTable[ QState ][ AbsLevelPass1] xC ][ yC ] & 1]    firstPosModel = n − 1   }   for( n = firstPosMode0; n > firstPosMode1; n− − ) {    xC = ( xS << log2SbW ) + DiagScanOrder[ log2SbW ][ log2SbH ][ n ] [ 0 ]    yC = ( yS << log2SbH ) + DiagScanOrder[ log2SbW ][ log2SbH ][ n ] [ 1 ]    if( abs level gtx flag] n ][ 1] )     abs_remainder[ n ] ae(v)    AbsLevel[ xC ][ yC ] = AbsLevelPass1[ xC ][ yC ] +2 * abs remainder[ n ]   }   for( n = firstPosMode1; n >= 0; n− − ) {    xC = ( xS << log2SbW ) + DiagScanOrder[ log2SbW ][ log2SbH ][ n ] [ 0 ]    yC = ( yS << log2SbH ) + DiagScanOrder[ log2SbW ][ log2SbH ][ n ] [ 1 ]    if( coded sub block flag[ xS ][ yS ] )     dec_abs_level| n | ae(v)    if( AbsLevel[ xC ][ yC ] > 0 ) {     if( lastSigScanPosSb = = −1 )      lastSigScanPosSb = n     firstSigScanPosSb = n    }    if( ph_dep_quant_enabled_flag )     QState = QStateTransTable[ QState ][ AbsLevel[ xC ][ yC ] & 1 ]   }   if( ph_dep_quant_enabled_flag | | !pic_sign_data_hiding_enabled_flag | | BdpcmFlag[ x0 ][ y0 ][ cIdx ] )    signHidden = 0   else    signHidden = ( lastSigScanPosSb − FirstSigScanPosSb > 3 ? 1 : 0 )   for( n = numSbCoef − 1; n >= 0; n− − ) {    xC = ( xS << log2SbW ) + DiagScanOrder[ log2SbW ][ log2SbH ][ n ] [ 0 ]    yC = ( yS << log2SbH) + DiagScanOrder[ log2SbW ][ log2SbH ][ n ] [ 1 ]    if( (AbsLevel[ xC ] [ yC ] > 0 ) &&     ( !signHidden | | (n != firstSigScanPosSb ) ) )     coeff_sign_flag| n | ae(v)   }   if( ph dep quant enabled flag) {    Q State = startQ StateSb    for( n = numSbCoeff − 1; n >= 0; n− − ) {     xC = (xS « log2SbW) + DiagScanOrder[ log2SbW ][ log2SbH ][ n ] [ 0 ]     yC = (yS << log2SbH ) + DiagScanOrder[ log2SbW ][ log2SbH ][ n ] [ 1 ]     if( AbsLevel[ xC ][ yC ] > 0 )      TransCoeffLevel[ x0 ][ y0 ] [ cIdx ] [ xC ] [ yC ] =        ( 2 * AbsLevel[ xC ][ yC ] − ( QState > 1 ? 1 : 0 ) ) *        ( 1 − 2 * coeff sign flag[ n ] )     QState = QStateTransTable[ QState ][ AbsLevel[ xC ][ yC ] & 1 ]   } else {    sumAbsLevel = 0    for( n = numSbCoeff − 1; n >= 0; n− − ) {     xC = ( xS << log2SbW ) + DiagScanOrder[ log2SbW ][ log2SbH ][ n ] [ 0 ]     yC = (yS << log2SbH ) + DiagScanOrder[ log2SbW ][ log2SbH ][ n ] [ 1 ]     if( AbsLevel[ xC ][ yC ] > 0 ) {      TransCoeffLevel[ x0 ][ y0 ][ cIdx ][ xC ][ yC ] =         AbsLevel[ xC ][ yC ] * ( 1 − 2 * coeff sign flag[ n ] )      if( signHidden) {       sumAbsLevel += AbsLevel[ xC ][ yC ]       if( ( n = = firstSigScanPosSb ) && ( sumAbsLevel % 2 ) = = 1) )        TransCoeffLevel[ x0 ][ y0 ][ cIdx ][ xC ][ yC ] =          −TransCoeffLevel[ x0 ][ y0 ][ cIdx ][ xC ][ yC ]      }     }    }   }  } }

Referring to Table 19 above, the variable signHidden indicating whether the SDH is applied may be derived based on the value of the variable BdpcmFlag indicating whether the BDPCM is applied. For example, when the value of BdpcmFlag is 1, the value of signHidden may be derived as 0. That is, for example, when the value of BdpcmFlag is 1 (when the BDPCM is applied to the current block), the SDH may not be applied in deriving the sign of the transform coefficient of the current block.

Referring to Table 19, when the BdpcmFlag is 1, the SDH for the TSRC is allowed if loss coding is applied, but the SDH may not be used if the BDPCM is applied.

In addition, this document proposes various embodiments related to signaling of the above-described syntax element sh_ts_residual_coding_disabled_flag.

For example, as described above, since sh_ts_residual_coding_disabled_flag is a syntax element defining whether TSRC is disabled, it may not need to be signaled when the transform skip block is not used. That is, it may be meaningful to signal the sh_ts_residual_coding_disabled_flag only when the syntax element for whether the transform skip block is used indicates that the transform skip block is used.

Therefore, this document proposes an embodiment in which sh_ts_residual_coding_disabled_flag is signaled only when sps_transform_skip_enabled_flag is 1. The syntax according to the present embodiment is shown in the following table.

TABLE 20 slice header( ) { Descriptor  (...)  if(sps transform skip enabled flag)    sh ts residual coding disabled flag u(1)  (...)

Referring to Table 20, when sps_transform_skip_enabled_flag is 1, sh_ts_residual_coding_disabled_flag may be signaled, while, when sps_transform_skip_enabled_flag is 0, sh_ts_residual_coding_disabled_flag may not be signaled. Here, for example, the sps_transform_skip_enabled_flag may indicate whether a transform skip block is used. That is, for example, the sps_transform_skip_enabled_flag may indicate whether transform skip is enabled. For example, when the value of the sps_transform_skip_enabled_flag is 1, the sps_transform_skip_enabled_flag may indicate that a transform skip flag (transform_skip_flag) may be present in a transform unit syntax, while, when the value of the sps_transform_skip_enabled_flag is 0, the sps_transform_skip_enabled_flag may indicate that the transform skip flag is not present in the transform unit syntax. Meanwhile, when sh_ts_residual_coding_disabled_flag is not signaled, sh_ts_residual_coding_disabled_flag may be inferred to be 0. In addition, the above-described sps_transform_skip_enabled_flag may be signaled in the SPS, or may be signaled in a high-level syntax (VPS, PPS, picture header syntax, slice header syntax, or the like) or low-level syntax (slice data syntax, coding unit syntax, transform unit syntax, or the like) other than SPS. Also, it may be signaled before sh_ts_residual_coding_disabled_flag.

Additionally, this document proposes an embodiment combining the embodiments described above in connection with signaling of sh_ts_residual_coding_disabled_flag. For example, an embodiment of signaling sh_ts_residual_coding_disabled_flag may be proposed as shown in the following table.

TABLE 21 slice header( ) { Descriptor  (...)  if( !pic_sign_data_hiding_enabled_flag && sps_transform_skip_enabled_flag )    sh ts residual coding disabled flag u(1)  (...) }

Referring to Table 21, when sps_transform_skip_enabled_flag is 1 and pic_sign_data_hiding_enabled_flag is 0, sh_ts_residual_coding_disabled_flag may be signaled, while otherwise sh_ts_residual_coding_disabled_flag may not be signaled. Meanwhile, when sh_ts_residual_coding_disabled_flag is not signaled, sh_ts_residual_coding_disabled_flag may be inferred to be 0.

Alternatively, for example, an embodiment of signaling sh_ts_residual_coding_disabled_flag may be proposed as shown in the following table.

TABLE 22 picture header structure( ) { Descriptor  (...)  ph dep quant enabled flag  if( !pic sign data hiding enabled flag ||  sps transform skip enabled flag)    ph ts residual coding disabled flag u(1)  (...)

Referring to Table 22, when pic_sign_data_hiding_enabled_flag is 0 or sps_transform_skip_enabled_flag is 1, sh_ts_residual_coding_disabled_flag may be signaled, while otherwise sh_ts_residual_coding_disabled_flag may not be signaled. Meanwhile, when sh_ts_residual_coding_disabled_flag is not signaled, sh_ts_residual_coding_disabled_flag may be inferred to be 0.

Also, for example, according to this embodiment, a method of signaling the syntax elements ph_dep_quant_enabled_flag and sh_ts_residual_coding_disabled_flag in the same high-level syntax or low-level syntax may be proposed. For example, referring to Table 22 above, both ph_dep_quant_enabled_flag and sh_ts_residual_coding_disabled_flag may be signaled in the picture header syntax. In this case, the sh_ts_residual_coding_disabled_flag may be referred to as ph_ts_residual_coding_disabled_flag. Meanwhile, the ph_dep_quant_enabled_flag may be a flag indicating whether dependent quantization is enabled. For example, ph_dep_quant_enabled_flag may indicate whether dependent quantization is enabled. That is, for example, ph_dep_quant_enabled_flag may indicate whether dependent quantization is enabled for blocks of pictures in a sequence. For example, ph_dep_quant_enabled_flag may indicate whether a dependent quantization used flag indicating whether dependent quantization is used for the current slice may be present. For example, the ph_dep_quant_enabled_flag whose value is 1 may indicate that the dependent quantization is enabled, while the ph_dep_quant_enabled_flag whose value is 0 may indicate that the dependent quantization is not enabled. Also, for example, the ph_dep_quant_enabled_flag may be called sh_dep_quant_enabled_flag according to a signaled syntax.

Alternatively, for example, an embodiment of signaling sh_ts_residual_coding_disabled_flag may be proposed as shown in the following table.

TABLE 23 picture header structure( ) { Descriptor  (...)  ph dep quant enabled flag  if( !pic_sign_data_hiding_enabled_flag && sps_transform_skip_enabled_flag)    ph_ts_residual_coding_disabled_flag u(1)  (...) }

Referring to Table 23, when pic_sign_data_hiding_enabled_flag is 0 and sps_transform_skip_enabled_flag is 1, sh_ts_residual_coding_disabled_flag may be signaled, while otherwise sh_ts_residual_coding_disabled_flag may not be signaled. Meanwhile, when sh_ts_residual_coding_disabled_flag is not signaled, sh_ts_residual_coding_disabled_flag may be inferred to be 0. Also, for example, referring to Table 23 above, both ph_dep_quant_enabled_flag and sh_ts_residual_coding_disabled_flag may be signaled in the picture header syntax. In this case, the sh_ts_residual_coding_disabled_flag may be referred to as ph_ts_residual_coding_disabled_flag.

In addition, this document proposes an embodiment in which the above-described syntax elements ph_dep_quant_enabled_flag, pic_sign_data_hiding_enabled_flag and/or sh_ts_residual_coding_disabled_flag are signaled in the same high level syntax (VPS, SPS, PPS, picture header, slice header, or the like) or low level syntax (slice data, coding unit, transform unit, or the like).

For example, as shown in the following table, an embodiment in which both pic_sign_data_hiding_enabled_flag and sh_ts_residual_coding_disabled_flag are signaled in picture header syntax may be proposed.

TABLE 24 picture header structure( ) { Descriptor  (...)   if( sps sign data hiding enabled flag)    pic sign data hiding enabled flag u(1)   if( !pic sign data hiding enabled flag)    ph ts residual coding disabled flag u(1)  (...) }

In this case, the sh_ts_residual_coding_disabled_flag may be referred to as ph_ts_residual_coding_disabled_flag.

According to this embodiment, a syntax element (i.e., sh_ts_residual_coding_disabled_flag) indicating whether residual coding (i.e., TSRC) for the transform skip block is enabled may be signaled only when the value of the syntax element (ie, pic_sign_data_hiding_enabled_flag) indicating whether SDH is enabled in HLS is 0. For example, referring to Table 24, pic_sign_data_hiding_enabled_flag may be signaled in picture header syntax, and when the value of pic_sign_data_hiding_enabled_flag is 0, ph_ts_residual_coding_disabled_flag may be signaled in picture header syntax. Meanwhile, for example, when the value of pic_sign_data_hiding_enabled_flag is 1, ph_ts_residual_coding_disabled_flag may not be signaled. When sh_ts_residual_coding_disabled_flag is not signaled, sh_ts_residual_coding_disabled_flag may be inferred to be 0. Also, when the value of sps_sign_data_hiding_enabled_flag is 1, pic_sign_data_hiding_enabled_flag may be signaled in picture header syntax.

The embodiment according to Table 24 described above is only an example, and the two syntax elements may be signaled in high-level syntax (VPS, SPS, PPS, slice header, or the like) or low-level syntax (slice data, coding unit, transform unit, or the like) other than the picture header.

Alternatively, for example, as shown in the following table, there may be provided an embodiment in which a syntax element indicating whether SDH is enabled is signaled only when the value of the syntax element indicating whether residual coding (i.e., TSRC) for the transform skip block is enabled is 0 (i.e., when TSRC is enabled).

TABLE 25 picture header structure( ) { Descriptor  (...)  ph_ts_residual_coding_disabled_flag  if( !ph ts residual coding disabled flag )    pic_sign_data_hiding_enabled_flag u(1)  (...) }

Referring to Table 25, when the value of ph_ts_residual_coding_disabled_flag is 0, pic_sign_data_hiding_enabled_flag may be signaled in the picture header syntax. Meanwhile, for example, when the value of ph_ts_residual_coding_disabled_flag is 1, pic_sign_data_hiding_enabled_flag may not be signaled. Also, for example, when pic_sign_data_hiding_enabled_flag is not signaled, pic_sign_data_hiding_enabled_flag may be inferred to be 0 in the decoding apparatus.

The embodiment according to Table 25 described above is only an example, and the two syntax elements may be signaled in high-level syntax (VPS, SPS, PPS, slice header, or the like) or low-level syntax (slice data, coding unit, transform unit, or the like) other than the picture header.

Alternatively, for example, methods for restricting pic_sign_data_hiding_enabled_flag and/or ph_dep_quant_enabled_flag based on ph_ts_residual_coding_disabled_flag may be proposed.

For example, as shown in the following table, there may be provided an embodiment in which pic_sign_data_hiding_enabled_flag and ph_dep_quant_enabled_flag are signaled only when the value of ph_ts_residual_coding_disabled_flag is 0.

TABLE 26 picture header structured( ) { Descriptor  (...)  ph_ts_residual_coding_disabled_flag  if( !ph ts residual coding disabled flag ) {    pic_sign_data_hiding_enabled_flag u(1)    ph_dep_quant_enabled_flag u(1)  }  (...) }

Referring to Table 26, when the value of ph_ts_residual_coding_disabled_flag is 0, pic_sign_data_hiding_enabled_flag and ph_dep_quant_enabled_flag may be signaled in picture header syntax. Meanwhile, for example, when the value of ph_ts_residual_coding_disabled_flag is 1, pic_sign_data_hiding_enabled_flag and ph_dep_quant_enabled_flag may not be signaled. Also, for example, when pic_sign_data_hiding_enabled_flag and ph_dep_quant_enabled_flag are not signaled, pic_sign_data_hiding_enabled_flag and ph_dep_quant_enabled_flag may be inferred to be 0 in the decoding apparatus.

Also, for example, referring to Table 26 above, ph_ts_residual_coding_disabled_flag, pic_sign_data_hiding_enabled_flag, and ph_dep_quant_enabled_flag may all be signaled in the picture header syntax.

Additionally, this document proposes an embodiment combining the embodiments described above in connection with signaling of sh_ts_residual_coding_disabled_flag. For example, an embodiment of signaling sh_ts_residual_coding_disabled_flag may be proposed as shown in the following table.

TABLE 27 picture header structure( ) { Descriptor  (...)   if( sps sign data hiding enabled flag )    pic_sign_data_hiding_enabled_flag u(1)   if( !pic sign data hiding enabled flag | | sps transform skip enabled flag )    ph_ts_residual_coding_disabled_flag u(1)  (...) }

Referring to Table 27, when pic_sign_data_hiding_enabled_flag is 0 or sps_transform_skip_enabled_flag is 1, ph_ts_residual_coding_disabled_flag may be signaled, while otherwise ph_ts_residual_coding_disabled_flag may not be signaled. Meanwhile, when ph_ts_residual_coding_disabled_flag is not signaled, ph_ts_residual_coding_disabled_flag may be inferred to be 0 in the decoding apparatus. Also, when the value of sps_sign_data_hiding_enabled_flag is 1, pic_sign_data_hiding_enabled_flag may be signaled in picture header syntax.

Alternatively, for example, an embodiment of signaling sh_ts_residual_coding_disabled_flag may be proposed as shown in the following table.

TABLE 28 picture header structured( ) { Descriptor  (...)   if( sps sign data hiding enabled flag)     pic_sign_data_hiding_enabled_flag u(1)   if( !pic_sign_data_hiding_enabled_flag && sps_transform_skip_enabled_flag )     ph_ts_residual_coding_disabled_flag u(1)  (...) }

Referring to Table 28, when pic_sign_data_hiding_enabled_flag is 0 and sps_transform_skip_enabled_flag is 1, ph_ts_residual_coding_disabled_flag may be signaled, while otherwise ph_ts_residual_coding_disabled_flag may not be signaled. Meanwhile, when ph_ts_residual_coding_disabled_flag is not signaled, ph_ts_residual_coding_disabled_flag may be inferred to be 0 in the decoding apparatus. Also, when the value of sps_sign_data_hiding_enabled_flag is 1, pic_sign_data_hiding_enabled_flag may be signaled in picture header syntax.

Alternatively, for example, an embodiment of signaling sh_ts_residual_coding_disabled_flag may be proposed as shown in the following table.

TABLE 29 picture header structure( ) { Descriptor  (...)   if(sps transform skip enabled flag)    ph ts residual coding disabled flag  if( !ph ts residual coding disabled flag)    pic sign data hiding enabled flag u(1)  (...) }

Referring to Table 29, when sps_transform_skip_enabled_flag is 1, ph_ts_residual_coding_disabled_flag may be signaled, while otherwise ph_ts_residual_coding_disabled_flag may not be signaled. Also, referring to Table 29, when ph_ts_residual_coding_disabled_flag is 0, pic_sign_data_hiding_enabled_flag may be signaled, while otherwise pic_sign_data_hiding_enabled_flag may not be signaled. Meanwhile, when ph_ts_residual_coding_disabled_flag is not signaled, ph_ts_residual_coding_disabled_flag may be inferred to be 0 in the decoding apparatus. Also, when pic_sign_data_hiding_enabled_flag is not signaled, pic_sign_data_hiding_enabled_flag may be inferred to be 0 in the decoding apparatus.

Alternatively, for example, an embodiment of signaling sh_ts_residual_coding_disabled_flag may be proposed as shown in the following table.

TABLE 30 picture header structure( ) { Descriptor  (...)   if(sps transform skip enabled flag)    ph_ts_residual_coding_disabled_flag  if( !ph ts residual coding disabled flag ){    pic sign data hiding enabled flag u(1)    ph dep quant enabled flag u(1)  }  (...) }

Referring to Table 30, when sps_transform_skip_enabled_flag is 1, ph_ts_residual_coding_disabled_flag may be signaled, while otherwise ph_ts_residual_coding_disabled_flag may not be signaled. In addition, referring to Table 30, when ph_ts_residual_coding_disabled_flag is 0, pic_sign_data_hiding_enabled_flag and ph_dep_quant_enabled_flag may be signaled, while otherwise pic_sign_data_hiding_enabled_flag and ph_dep_quant_enabled_flag may not be signaled. Meanwhile, when ph_ts_residual_coding_disabled_flag is not signaled, ph_ts_residual_coding_disabled_flag may be inferred to be 0 in the decoding apparatus. Also, when pic_sign_data_hiding_enabled_flag and ph_dep_quant_enabled_flag are not signaled, pic_sign_data_hiding_enabled_flag and ph_dep_quant_enabled_flag may be inferred to be 0 in the decoding apparatus.

Meanwhile, as described above, the information (syntax element) in the syntax table disclosed in this document may be included in the image/video information, and may be configured/encoded in the encoding apparatus and transmitted to the decoding apparatus in the form of a bitstream. The decoding apparatus may parse/decode information (syntax element) in the corresponding syntax table. The decoding apparatus may perform a block/image/video reconstruction process based on the decoded information.

FIG. 6 briefly illustrates an image encoding method performed by an encoding apparatus according to the present disclosure. The method disclosed in FIG. 6 may be performed by the encoding apparatus disclosed in FIG. 2 . Specifically, for example, S600 to S630 of FIG. 6 may be performed by the entropy encoder of the encoding apparatus. Additionally, although not shown, the process of deriving a prediction sample for the transform skip block may be performed by a predictor of the encoding apparatus, the process of deriving a residual sample for the transform skip block based on an original sample and a prediction sample for the transform skip block may be performed by a subtractor of the encoding apparatus, and the process of generating the reconstructed sample and the reconstructed picture for the transform skip block based on the residual sample and the prediction sample for the transform skip block may be performed by the adder of the encoding apparatus.

The encoding apparatus encodes a sign data hiding enabled flag for whether sign data hiding is enabled for a current slice (S600). The encoding apparatus may encode a sign data hiding enabled flag for whether sign data hiding is enabled for a current slice. The image information may include a sign data hiding enabled flag. For example, the encoding apparatus may determine whether sign data hiding is enabled for blocks of pictures in a sequence, an may encode a sign data hiding enabled flag for whether sign data hiding is enabled. For example, the sign data hiding enabled flag may be a flag for whether sign data hiding is enabled. For example, the sign data hiding enabled flag may indicate whether sign data hiding is enabled. That is, for example, the sign data hiding enabled flag may indicate whether sign data hiding is enabled for blocks of pictures in a sequence. For example, sign data hiding enabled flag may indicate whether a sign data hiding used flag indicating whether sign data hiding is used for the current slice may be present. For example, the sign data hiding enabled flag whose value is 1 may indicate that the sign data hiding is enabled, while the sign data hiding enabled flag whose value is 0 may indicate that the sign data hiding is not enabled. For example, the sign data hiding enabled flag whose value is 1 may indicate that a sign flag to which the sign data hiding has been applied may be present, while the sign data hiding enabled flag whose value is 0 may indicate that a sign flag to which the sign data hiding has been applied is not present. Also, for example, the sign data hiding enabled flag may be signaled in a sequence parameter set (SPS) syntax. Alternatively, for example, the sign data hiding enabled flag may be signaled in a picture header syntax or a slice header syntax. The syntax element of the sign data hiding enabled flag may be the above-described sps_sign_data_hiding_enabled_flag.

The encoding apparatus encodes a Transform Skip Residual Coding (TSRC) enabled flag for whether TSRC is enabled for a transform skip block in the current slice based on the sign data hiding enabled flag (S610). The image information may include a TSRC enabled flag.

For example, the encoding apparatus may encode the TSRC enabled flag based on the sign data hiding enabled flag. For example, the TSRC enabled flag may be encoded based on the sign data hiding enabled flag whose value is 0. That is, for example, when the value of the sign data hiding enabled flag is 0 (i.e., when the sign data hiding enabled flag indicates that sign data hiding is not enabled), the TSRC enabled flag may be encoded. In other words, for example, when the value of the sign data hiding enabled flag is 0 (i.e., when the sign data hiding enabled flag indicates that sign data hiding is not enabled), the TSRC enabled flag may be signaled. Also, for example, when the value of the sign data hiding enabled flag is 1, the TSRC enabled flag may not be encoded, and the value of the TSRC enabled flag may be derived as 0 in the decoding apparatus. That is, for example, when the value of the sign data hiding enabled flag is 1, the TSRC enabled flag may not be signaled, and the value of the TSRC enabled flag may be derived as 0 in the decoding apparatus.

Here, for example, the TSRC enabled flag may be a flag for whether TSRC is enabled. That is, for example, the TSRC enabled flag may be a flag indicating whether TSRC is enabled for blocks in a slice. In other words, for example, the TSRC enabled flag may be a flag indicating whether TSRC is enabled for a transform skip block in a slice. Here, the block may be a coding block (CB) or a transform block (TB). For example, the TSRC enabled flag whose value is 1 may indicate that the TSRC is not enabled, and the TSRC enabled flag whose value is 0 may indicate that the TSRC is enabled. Also, for example, the TSRC enabled flag may be signaled in a slice header syntax. The syntax element of the TSRC enabled flag may be the above-described sh_ts_residual_coding_disabled_flag. The TSRC enabled flag may be referred to as a TSRC disabled flag.

Meanwhile, for example, the encoding apparatus may determine whether dependent quantization is enabled for blocks of pictures in a sequence, and may encode a dependent quantization enabled flag for whether dependent quantization is enabled. The image information may include the dependent quantization enabled flag. For example, the dependent quantization enabled flag may be a flag for whether dependent quantization is enabled. For example, the dependent quantization enabled flag may indicate whether dependent quantization is enabled. That is, for example, the dependent quantization enabled flag may indicate whether dependent quantization is enabled for blocks of pictures in a sequence. For example, dependent quantization enabled flag may indicate whether a dependent quantization used flag indicating whether dependent quantization is used for the current slice may be present. For example, the dependent quantization enabled flag whose value is 1 may indicate that the dependent quantization is enabled, and the dependent quantization enabled flag whose value is 0 may indicate that the dependent quantization is not enabled. Also, for example, the dependent quantization enabled flag may be signaled in an SPS syntax, a slice header syntax or the like. The syntax element of the dependent quantization enabled flag may be the above-described sps_dep_quant_enabled_flag.

Also, for example, the encoding apparatus may encode a transform skip enabled flag for whether transform skip is enabled for the current slice. The image information may include a transform skip enabled flag. For example, the encoding apparatus may determine whether transform skip is enabled for blocks of pictures in a sequence, and may encode a transform skip enabled flag for whether transform skip is enabled. For example, the transform skip enabled flag may be a flag for whether transform skip is enabled. For example, the transform skip enabled flag may indicate whether transform skip is enabled. That is, for example, the transform skip enabled flag may indicate whether transform skip is enabled for blocks of pictures in a sequence. For example, the transform skip enabled flag may indicate whether a transform skip flag may be present. For example, the transform skip enabled flag whose value is 1 may indicate that the transform skip is enabled, and the transform skip enabled flag whose value is 0 may indicate that the transform skip is not enabled. That is, for example, the transform skip enabled flag whose value is 1 may indicate that the transform skip flag may be present, and the transform skip enabled flag whose value is 0 may indicate that the transform skip flag is not present. Also, for example, the transform skip enabled flag may be signaled in a sequence parameter set (SPS) syntax. The syntax element of the transform skip enabled flag may be the above-described sps_transform_skip_enabled_flag.

Also, for example, the TSRC enabled flag may be encoded based on the sign data hiding enabled flag and/or the transform skip enabled flag. For example, the TSRC enabled flag may be encoded based on the sign data hiding enabled flag whose value is 0, and the transform skip enabled flag whose value is 1. That is, for example, when the value of the sign data hiding enabled flag is 0 (that is, the sign data hiding enabled flag indicates that sign data hiding is not enabled), and the value of the transform skip enabled flag is 1 (that is, when the transform skip enabled flag indicates that the transform skip is enabled), the TSRC enabled flag may be encoded (or signaled). Also, for example, when the value of the transform skip enabled flag is 0, the TSRC enabled flag may not be encoded, and the value of the TSRC enabled flag may be derived as 0. That is, for example, when the value of the transform skip enabled flag is 0, the TSRC enabled flag may not be signaled, and the value of the TSRC enabled flag may be derived as 0.

The encoding apparatus encodes residual information for the transform skip block based on the TSRC enabled flag (S620). The encoding apparatus may encode residual information for the transform skip block based on the TSRC enabled flag.

For example, the encoding apparatus may determine a residual coding syntax for the transform skip block based on the TSRC enabled flag. For example, the encoding apparatus may determine a residual coding syntax for the transform skip block as one of the Regular Residual Coding (RRC) syntax and Transform Skip Residual Coding (TSRC) syntax based on the TSRC enabled flag. The RRC syntax may indicate a syntax according to RRC, and the TSRC syntax may indicate a syntax according to TSRC.

For example, the residual coding syntax for the transform skip block may be determined as the regular residual coding (RRC) syntax based on the TSRC enabled flag whose value is 1. In this case, for example, a transform skip flag for whether the transform skip block is transform-skipped may be encoded, and the value of the transform skip flag may be 1. For example, the image information may include a transform skip flag for the transform skip block. The transform skip flag may indicate whether the transform skip block is transform-skipped. That is, the transform skip flag may indicate whether a transform is applied to transform coefficients of the transform skip block. The syntax element representing the transform skip flag may be the above-described transform_skip_flag. For example, when the value of the transform skip flag is 1, the transform skip flag may indicate that transform is not applied to the transform skip block (i.e., transform-skipped), while, when the value of the transform skip flag is 0, the transform skip flag may indicate that transform is applied to the transform skip block. For example, when the block in the current slice is a transform skip block, the value of the transform skip flag for the block may be 1.

Also, for example, the residual coding syntax for the transform skip block may be determined as the transform skip residual coding (TSRC) syntax based on the TSRC enabled flag whose value is 0. Also, for example, the transform skip flag for whether the transform skip block is transform-skipped may be encoded, and the residual coding syntax for the transform skip block may be determined as the transform skip residual coding (TSRC) syntax based on the transform skip flag whose value is 1 and the TSRC enabled flag whose value is 0. Also, for example, the transform skip flag for whether the block is transform-skipped may be encoded, and the residual coding syntax for the block may be determined as the Regular Residual Coding (RRC) syntax based on the transform skip flag whose value is 0 and the TSRC enabled flag whose value is 0.

Then, for example, the encoding apparatus may encode residual information of the determined residual coding syntax for the transform skip block. The encoding apparatus may derive a residual sample for the transform skip block, and may encode residual information of the determined residual coding syntax for the residual sample of the transform skip block. For example, residual information of the regular residual coding (RRC) syntax for the transform skip block may be encoded based on the TSRC enabled flag whose value is 1, and residual information of the TSRC syntax for the transform skip block may be encoded based on the TSRC enabled flag whose value is 0. The image information may include residual information.

For example, the encoding apparatus may determine whether to perform inter prediction or intra prediction on the transform skip block, and may determine a specific inter prediction mode or a specific intra prediction mode based on RD cost. According to the determined mode, the encoding apparatus may derive the prediction samples for the transform skip block, and may derive the residual samples for the transform skip block through the subtraction of the prediction samples with the original samples for the transform skip block.

Then, for example, the encoding apparatus may derive transform coefficients of the transform skip block based on the residual samples. For example, the encoding apparatus may determine whether a transform is applied to the transform skip block. That is, the encoding apparatus may determine whether a transform is applied to the residual samples of the transform skip block. The encoding apparatus may determine whether to apply the transform to the transform skip block in consideration of coding efficiency. For example, the encoding apparatus may determine that no transform is applied to the transform skip block. Meanwhile, a block to which the transform is not applied may be referred to as a transform skip block.

When transform is not applied to the transform skip block, that is, when transform is not applied to the residual samples, the encoding apparatus may derive the derived residual samples as transform coefficients of the transform skip block. In addition, when transform is applied to the transform skip block, that is, when transform is applied to the residual samples, the encoding apparatus may perform transform on the residual samples to derive transform coefficients of the transform skip block. The transform skip block may include a plurality of sub-blocks or Coefficient Groups (CGs). In addition, the size of the subblock of the transform skip block may be 4×4 size or 2×2 size. That is, the subblock of the transform skip block may include up to 16 non-zero transform coefficients or up to 4 non-zero transform coefficients. Here, the transform skip block may be a coding block (CB) or a transform block (TB). Also, the transform coefficient may be referred to as a residual coefficient.

For example, when the residual coding syntax for the transform skip block is determined as the RRC syntax, the encoding apparatus may encode residual information of the RRC syntax for the transform skip block. For example, the residual information of the RRC syntax may include the syntax elements shown in Table 2 above.

For example, the residual information of the RRC syntax may include syntax elements for transform coefficients of a transform skip block. Here, the transform coefficient may be referred to as a residual coefficient.

For example, the syntax elements may include syntax elements such as last_sig_coeff_x_prefix, last_sig_coeff_y_prefix, last_sig_coeff_x_suffix, last_sig_coeff_y_suffix, sb_coded_flag, sig_coeff_flag, abs_level_gt1_flag, par_level_flag, abs_level_gtX_flag, abs_remainder, dec_abs_level, and/or coeff_sign_flag.

Specifically, for example, the syntax elements may include position information indicating the position of the last non-zero transform coefficient in the residual coefficient array of the transform skip block. That is, the syntax elements may include position information indicating the position of the last non-zero transform coefficient in a scanning order of the transform skip block. The position information may include information indicating a prefix of a column position of the last non-zero transform coefficient, information indicating a prefix of a row position of the last non-zero transform coefficient, information indicating a suffix of a column position of the last non-zero transform coefficient, and information indicating a suffix of a row position of the last non-zero transform coefficient. The syntax elements for the location information may be last_sig_coeff_x_prefix, last_sig_coeff_y_prefix, last_sig_coeff_x_suffix, and last_sig_coeff_y_suffix. Meanwhile, the non-zero transform coefficient may be referred to as a significant coefficient.

Also, for example, the syntax elements may include a coded subblock flag indicating whether a subblock of the transform skip block includes a non-zero transform coefficient; a significant coefficient flag indicating whether the transform coefficient of the transform skip block is non-zero transform coefficient; a first coefficient level flag for whether the coefficient level for the transform coefficient is greater than a first threshold; a parity level flag for parity of the coefficient level; and/or a second coefficient level flag for whether the coefficient level of the transform coefficient is greater than a second threshold. Here, the coded sub-block flag may be sb_coded_flag or coded_sub_block_flag; the significant coefficient flag may be sig_coeff_flag; the first coefficient level flag may be abs_level_gt1_flag or abs_level_gtx_flag; the parity level flag may be par_level_flag; and the second coefficient level flag may be abs_level_gt3_flag or abs_level_gtx_flag.

Also, for example, the syntax elements may include information related to the coefficient value for value of transform coefficient of the transform skip block. The coefficient value related information may be abs_remainder and/or dec_abs_level.

Also, for example, the syntax elements may include a sign flag indicating a sign of the transform coefficient. The sign flag may be coeff_sign_flag.

Meanwhile, for example, when the sign data hiding is applied to the transform skip block, the sign flag of the first significant transform coefficient of the current coefficient group (CG) in the transform skip block may not be encoded and signaled. That is, for example, when the sign data hiding is applied to the transform skip block, the syntax elements may not include a sign flag indicating a sign of the first significant transform coefficient. Meanwhile, for example, whether the sign data hiding is applied to the transform skip block may be derived based on the sign data hiding enabled flag, and/or the position of the first significant transform coefficient and the position of the last significant transform coefficient of the current CG of the transform skip block. For example, when the value of the sign data hiding enabled flag is 1, and the value obtained by subtracting the first significant transform coefficient position from the last significant transform coefficient position is greater than 3 (that is, when the value of the sign data hiding enabled flag is 1, and the number of significant transform coefficients in the current CG is greater than 3), the sign data hiding may be applied to the current CG of the transform skip block.

Additionally, for example, when the residual coding syntax for the transform skip block is determined as the TSRC syntax, the encoding apparatus may encode residual information of the TSRC syntax for the transform skip block. For example, the residual information of the TSRC syntax may include the syntax elements shown in Table 3 above.

For example, the residual information of the TSRC syntax may include syntax elements for transform coefficients of a transform skip block. Here, the transform coefficient may be referred to as a residual coefficient.

For example, the syntax elements may include context coded syntax elements and/or bypass coded syntax elements for a transform coefficient. The syntax elements may include syntax elements such as sig_coeff_flag, coeff_sign_flag, abs_level_gt1_flag, par_level_flag, abs_level_gtX_flag and/or abs remainder.

For example, the context-coded syntax elements for the transform coefficient may include a significant coefficient flag indicating whether the transform coefficient is a non-zero transform coefficient; a sign flag indicating a sign for the transform coefficient; a first coefficient level flag for whether the coefficient level for the transform coefficient is greater than a first threshold; and/or parity level flag for parity of the coefficient level for the transform coefficient. In addition, for example, the context-coded syntax elements may include a second coefficient level flag for whether the coefficient level of the transform coefficient is greater than a second threshold; a third coefficient level flag for whether the coefficient level of the transform coefficient is greater than a third threshold; a fourth coefficient level flag for whether the coefficient level of the transform coefficient is greater than a fourth threshold; and/or a fifth coefficient level flag for whether the coefficient level of the transform coefficient is greater than a fifth threshold. Here, the significant coefficient flag may be sig_coeff_flag; the sign flag may be coeff_sign_flag; the first coefficient level flag may be abs_level_gt1_flag; and the parity level flag may be par_level_flag. In addition, the second coefficient level flag may be abs_level_gt3_flag or abs_level_gtx_flag; the third coefficient level flag may be abs_level_gt5_flag or abs_level_gtx_flag; the fourth coefficient level flag may be abs_level_gt7_flag or abs_level_gtx_flag; and the fifth coefficient level flag may be abs_level_gt9_flag or abs_level_gtx_flag.

Also, for example, the syntax elements bypass-coded for the transform coefficient may include coefficient level information for the value (or coefficient level) of the transform coefficient, and/or a sign flag indicating a sign for the transform coefficient. The coefficient level information may be abs_remainder and/or dec_abs_level, and the sign flag may be coeff_sign_flag.

The encoding apparatus generates a bitstream including the sign data hiding enabled flag, the TSRC enabled flag and the residual information (S630). For example, the encoding apparatus may output, as a bitstream, image information including the sign data hiding enabled flag, the TSRC enabled flag, and the residual information. The bitstream may include the sign data hiding enabled flag, the TSRC enabled flag, and the residual information. In addition, the bitstream may further include the dependent quantization enabled flag and/or the transform skip enabled flag.

Meanwhile, the image information may include prediction related information for the transform skip block. The prediction-related information may include prediction mode information about an inter prediction mode or an intra prediction mode performed on the transform skip block.

Meanwhile, the bitstream may be transmitted to the decoding apparatus through a network or a (digital) storage medium. Here, the network may include a broadcast network, a communication network and/or the like, and the digital storage medium may include various storage media, such as a universal serial bus (USB), secure digital (SD), a compact disk (CD), a digital video disk (DVD), Blu-ray, a hard disk drive (HDD), a solid state drive (SSD), and the like.

FIG. 7 briefly illustrates an encoding apparatus for performing an image encoding method according to the present disclosure. The method disclosed in FIG. 6 may be performed by the encoding apparatus disclosed in FIG. 7 . Specifically, for example, the entropy encoder of the encoding apparatus of FIG. 7 may perform S600 to S630 in FIG. 6 . Additionally, although not shown, the process of deriving a prediction sample for the transform skip block may be performed by a predictor of the encoding apparatus, the process of deriving a residual sample for the transform skip block based on an original sample and a prediction sample for the transform skip block may be performed by a subtractor of the encoding apparatus, and the process of generating the reconstructed sample and the reconstructed picture for the transform skip block based on the residual sample and the prediction sample for the transform skip block may be performed by the adder of the encoding apparatus.

FIG. 8 briefly illustrates an image decoding method performed by a decoding apparatus according to the present disclosure. The method disclosed in FIG. 8 may be performed by the decoding apparatus disclosed in FIG. 3 . Specifically, for example, S800 to S820 of FIG. 8 may be performed by the entropy decoder of the decoding apparatus, S830 of FIG. 8 may be performed by the residual processor of the decoding apparatus, and S840 may be performed by the adder of the decoding apparatus. In addition, although not shown, the process of receiving prediction information for the transform skip block may be performed by an entropy decoder of the decoding apparatus, and the process of deriving the prediction sample of the transform skip block may be performed by the predictor of the decoding apparatus.

The decoding apparatus obtains a sign data hiding enabled flag for whether sign data hiding is enabled for a current slice (S800). The decoding apparatus may obtain image information including the sign data hiding enabled flag through the bitstream. The image information may include the sign data hiding enabled flag. For example, the sign data hiding enabled flag may be a flag for whether sign data hiding is enabled. For example, the sign data hiding enabled flag may indicate whether sign data hiding is enabled. That is, for example, the sign data hiding enabled flag may indicate whether sign data hiding is enabled for blocks of pictures in a sequence. For example, sign data hiding enabled flag may indicate whether a sign data hiding used flag indicating whether sign data hiding is used for the current slice may be present. For example, the sign data hiding enabled flag whose value is 1 may indicate that the sign data hiding is enabled, while the sign data hiding enabled flag whose value is 0 may indicate that the sign data hiding is not enabled. For example, the sign data hiding enabled flag whose value is 1 may indicate that a sign flag to which the sign data hiding has been applied may be present, while the sign data hiding enabled flag whose value is 0 may indicate that a sign flag to which the sign data hiding has been applied is not present. Also, for example, the sign data hiding enabled flag may be signaled in a sequence parameter set (SPS) syntax. Alternatively, for example, the sign data hiding enabled flag may be signaled in a picture header syntax or a slice header syntax. The syntax element of the sign data hiding enabled flag may be the above-described sps_sign_data_hiding_enabled_flag.

The decoding apparatus obtains a Transform Skip Residual Coding (TSRC) enabled flag for whether TSRC is enabled for a transform skip block in the current slice (S810). The image information may include a TSRC enabled flag.

For example, the decoding apparatus may obtain the TSRC enabled flag based on the sign data hiding enabled flag. For example, the TSRC enabled flag may be obtained based on the sign data hiding enabled flag whose value is 0. That is, for example, when the value of the sign data hiding enabled flag is 0 (i.e., when the sign data hiding enabled flag indicates that sign data hiding is not enabled), the TSRC enabled flag may be obtained. In other words, for example, when the value of the sign data hiding enabled flag is 0 (i.e., when the sign data hiding enabled flag indicates that sign data hiding is not enabled), the TSRC enabled flag may be signaled. Also, for example, when the value of the sign data hiding enabled flag is 1, the TSRC enabled flag may not be obtained, and the value of the TSRC enabled flag may be derived as 0. That is, for example, when the value of the sign data hiding enabled flag is 1, the TSRC enabled flag may not be signaled, and the value of the TSRC enabled flag may be derived as 0.

Here, for example, the TSRC enabled flag may be a flag for whether TSRC is enabled. That is, for example, the TSRC enabled flag may be a flag indicating whether TSRC is enabled for blocks in a slice. In other words, for example, the TSRC enabled flag may be a flag indicating whether TSRC is enabled for a transform skip block in a slice. Here, the block may be a coding block (CB) or a transform block (TB). For example, the TSRC enabled flag whose value is 1 may indicate that the TSRC is not enabled, and the TSRC enabled flag whose value is 0 may indicate that the TSRC is enabled. Also, for example, the TSRC enabled flag may be signaled in a slice header syntax. The syntax element of the TSRC enabled flag may be the above-described sh_ts_residual_coding_disabled_flag. The TSRC enabled flag may be referred to as a TSRC disabled flag.

Meanwhile, for example, the decoding apparatus may obtain a dependent quantization enabled flag. The decoding apparatus may obtain image information including the dependent quantization enabled flag through the bitstream. The image information may include the dependent quantization enabled flag. For example, the dependent quantization enabled flag may be a flag for whether dependent quantization is enabled. For example, the dependent quantization enabled flag may indicate whether dependent quantization is enabled. That is, for example, the dependent quantization enabled flag may indicate whether dependent quantization is enabled for blocks of pictures in a sequence. For example, dependent quantization enabled flag may indicate whether a dependent quantization used flag indicating whether dependent quantization is used for the current slice may be present. For example, the dependent quantization enabled flag whose value is 1 may indicate that the dependent quantization is enabled, and the dependent quantization enabled flag whose value is 0 may indicate that the dependent quantization is not enabled. Also, for example, the dependent quantization enabled flag may be signaled in an SPS syntax, a slice header syntax or the like. The syntax element of the dependent quantization enabled flag may be the above-described sps_dep_quant_enabled_flag.

Also, for example, the decoding apparatus may obtain a transform skip enabled flag. The decoding apparatus may obtain image information including the transform skip enabled flag through the bitstream. The image information may include the transform skip enabled flag. For example, the transform skip enabled flag may be a flag for whether transform skip is enabled. For example, the transform skip enabled flag may indicate whether transform skip is enabled. That is, for example, the transform skip enabled flag may indicate whether transform skip is enabled for blocks of pictures in a sequence. For example, the transform skip enabled flag may indicate whether a transform skip flag may be present. For example, the transform skip enabled flag whose value is 1 may indicate that the transform skip is enabled, and the transform skip enabled flag whose value is 0 may indicate that the transform skip is not enabled. That is, for example, the transform skip enabled flag whose value is 1 may indicate that the transform skip flag may be present, and the transform skip enabled flag whose value is 0 may indicate that the transform skip flag is not present. Also, for example, the transform skip enabled flag may be signaled in a sequence parameter set (SPS) syntax. The syntax element of the transform skip enabled flag may be the above-described sps_transform_skip_enabled_flag.

Also, for example, the TSRC enabled flag may be obtained based on the sign data hiding enabled flag and/or the transform skip enabled flag. For example, the TSRC enabled flag may be obtained based on the sign data hiding enabled flag whose value is 0, and the transform skip enabled flag whose value is 1. That is, for example, when the value of the sign data hiding enabled flag is 0 (that is, the sign data hiding enabled flag indicates that sign data hiding is not enabled), and the value of the transform skip enabled flag is 1 (that is, when the transform skip enabled flag indicates that the transform skip is enabled), the TSRC enabled flag may be obtained (or signaled). Also, for example, when the value of the transform skip enabled flag is 0, the TSRC enabled flag may not be obtained, and the value of the TSRC enabled flag may be derived as 0. That is, for example, when the value of the transform skip enabled flag is 0, the TSRC enabled flag may not be signaled, and the value of the TSRC enabled flag may be derived as 0.

The decoding apparatus obtains residual information for the transform skip block based on the TSRC enabled flag (S820). The decoding apparatus may obtain residual information for the transform skip block based on the TSRC enabled flag.

For example, the decoding apparatus may determine a residual coding syntax for the transform skip block in the current slice based on the TSRC enabled flag. For example, the decoding apparatus may determine a residual coding syntax for the transform skip block as one of the Regular Residual Coding (RRC) syntax and Transform Skip Residual Coding (TSRC) syntax based on the TSRC enabled flag. The RRC syntax may indicate a syntax according to RRC, and the TSRC syntax may indicate a syntax according to TSRC.

For example, the residual coding syntax for the transform skip block in the current slice may be determined as the regular residual coding (RRC) syntax based on the TSRC enabled flag whose value is 1. In this case, for example, a transform skip flag for whether the transform skip block is transform-skipped may be obtained based on the transform skip enabled flag whose value is 1, and the value of the transform skip flag may be 1. For example, the image information may include a transform skip flag for the transform skip block. The transform skip flag may indicate whether the transform skip block is transform-skipped. That is, the transform skip flag may indicate whether a transform is applied to transform coefficients of the transform skip block. The syntax element representing the transform skip flag may be the above-described transform_skip_flag. For example, when the value of the transform skip flag is 1, the transform skip flag may indicate that transform is not applied to the transform skip block (i.e., transform-skipped), while, when the value of the transform skip flag is 0, the transform skip flag may indicate that transform is applied to the transform skip block. For example, the value of the transform skip flag for the transform skip block may be 1.

Also, for example, the residual coding syntax for the transform skip block may be determined as the transform skip residual coding (TSRC) syntax based on the TSRC enabled flag whose value is 0. Also, for example, the transform skip flag for whether the transform skip block is transform-skipped may be obtained, and the residual coding syntax for the transform skip block may be determined as the transform skip residual coding (TSRC) syntax based on the transform skip flag whose value is 1 and the TSRC enabled flag whose value is 0. Also, for example, the transform skip flag for whether the current block is transform-skipped may be obtained, and the residual coding syntax for the current block may be determined as the Regular Residual Coding (RRC) syntax based on the transform skip flag whose value is 0 and the TSRC enabled flag whose value is 0.

Then, for example, the decoding apparatus may obtain residual information of the determined residual coding syntax for the transform skip block. For example, residual information of the regular residual coding (RRC) syntax may be obtained based on the TSRC enabled flag whose value is 1, and residual information of the TSRC syntax may be obtained based on the TSRC enabled flag whose value is 0. The image information may include residual information.

For example, when the residual coding syntax for the transform skip block is determined as the RRC syntax, the decoding apparatus may obtain residual information of the RRC syntax for the transform skip block. For example, the residual information of the RRC syntax may include the syntax elements shown in Table 2 above.

For example, the residual information of the RRC syntax may include syntax elements for transform coefficients of the transform skip block. Here, the transform coefficient may be referred to as a residual coefficient.

For example, the syntax elements may include syntax elements such as last_sig_coeff_x_prefix, last_sig_coeff_y_prefix, last_sig_coeff_x_suffix, last_sig_coeff_y_suffix, sb_coded_flag, sig_coeff_flag, abs_level_gt1_flag, par_level_flag, abs_level_gtX_flag, abs_remainder, dec_abs_level, and/or coeff_sign_flag.

Specifically, for example, the syntax elements may include position information indicating the position of the last non-zero transform coefficient in the residual coefficient array of the transform skip block. That is, the syntax elements may include position information indicating the position of the last non-zero transform coefficient in a scanning order of the transform skip block. The position information may include information indicating a prefix of a column position of the last non-zero transform coefficient, information indicating a prefix of a row position of the last non-zero transform coefficient, information indicating a suffix of a column position of the last non-zero transform coefficient, and information indicating a suffix of a row position of the last non-zero transform coefficient. The syntax elements for the location information may be last_sig_coeff_x_prefix, last_sig_coeff_y_prefix, last_sig_coeff_x_suffix, and last_sig_coeff_y_suffix. Meanwhile, the non-zero transform coefficient may be referred to as a significant coefficient.

Also, for example, the syntax elements may include a coded subblock flag indicating whether a subblock of the transform skip block includes a non-zero transform coefficient; a significant coefficient flag indicating whether the transform coefficient of the transform skip block is non-zero transform coefficient; a first coefficient level flag for whether the coefficient level for the transform coefficient is greater than a first threshold; a parity level flag for parity of the coefficient level; and/or a second coefficient level flag for whether the coefficient level of the transform coefficient is greater than a second threshold. Here, the coded sub-block flag may be sb_coded_flag or coded_sub_block_flag; the significant coefficient flag may be sig_coeff_flag; the first coefficient level flag may be abs_level_gt1_flag or abs_level_gtx_flag; the parity level flag may be par_level_flag; and the second coefficient level flag may be abs_level_gt3_flag or abs_level_gtx_flag.

Also, for example, the syntax elements may include information related to the coefficient value for value of transform coefficient of the transform skip block. The coefficient value related information may be abs_remainder and/or dec_abs_level.

Also, for example, the syntax elements may include a sign flag indicating a sign of the transform coefficient. The sign flag may be coeff_sign_flag.

Meanwhile, for example, when the sign data hiding is applied to the transform skip block, the sign flag of the first significant transform coefficient of the current coefficient group (CG) in the transform skip block may not be signaled. That is, for example, when the sign data hiding is applied to the transform skip block, the syntax elements may not include a sign flag indicating a sign of the first significant transform coefficient. Meanwhile, for example, whether the sign data hiding is applied to the transform skip block may be derived based on the sign data hiding enabled flag, and/or the position of the first significant transform coefficient and the position of the last significant transform coefficient of the current CG. For example, when the value of the sign data hiding enabled flag is 1, and the value obtained by subtracting the first significant transform coefficient position from the last significant transform coefficient position is greater than 3 (that is, when the value of the sign data hiding enabled flag is 1, and the number of significant transform coefficients in the current CG is greater than 3), the sign data hiding may be applied to the current CG of the transform skip block.

Additionally, for example, when the residual coding syntax for the transform skip block is determined as the TSRC syntax, the decoding apparatus may obtain residual information of the TSRC syntax for the transform skip block. For example, the residual information of the TSRC syntax may include the syntax elements shown in Table 3 above.

For example, the residual information of the TSRC syntax may include syntax elements for transform coefficients of the transform skip block. Here, the transform coefficient may be referred to as a residual coefficient.

For example, the syntax elements may include context coded syntax elements and/or bypass coded syntax elements for a transform coefficient. The syntax elements may include syntax elements such as sig_coeff_flag, coeff_sign_flag, abs_level_gt1_flag, par_level_flag, abs_level_gtX_flag and/or abs_remainder.

For example, the context-coded syntax elements for the transform coefficient may include a significant coefficient flag indicating whether the transform coefficient is a non-zero transform coefficient; a sign flag indicating a sign for the transform coefficient; a first coefficient level flag for whether the coefficient level for the transform coefficient is greater than a first threshold; and/or parity level flag for parity of the coefficient level for the transform coefficient. In addition, for example, the context-coded syntax elements may include a second coefficient level flag for whether the coefficient level of the transform coefficient is greater than a second threshold; a third coefficient level flag for whether the coefficient level of the transform coefficient is greater than a third threshold; a fourth coefficient level flag for whether the coefficient level of the transform coefficient is greater than a fourth threshold; and/or a fifth coefficient level flag for whether the coefficient level of the transform coefficient is greater than a fifth threshold. Here, the significant coefficient flag may be sig_coeff_flag; the sign flag may be coeff_sign_flag; the first coefficient level flag may be abs_level_gt1_flag; and the parity level flag may be par_level_flag. In addition, the second coefficient level flag may be abs_level_gt3_flag or abs_level_gtx_flag; the third coefficient level flag may be abs_level_gt5_flag or abs_level_gtx_flag; the fourth coefficient level flag may be abs_level_gt7_flag or abs_level_gtx_flag; and the fifth coefficient level flag may be abs_level_gt9_flag or abs_level_gtx_flag.

Also, for example, the syntax elements bypass-coded for the transform coefficient may include coefficient level information for the value (or coefficient level) of the transform coefficient, and/or a sign flag indicating a sign for the transform coefficient. The coefficient level information may be abs_remainder and/or dec_abs_level, and the sign flag may be coeff_sign_flag.

The decoding apparatus derives a residual sample for the transform skip block based on the residual coding information (S830). For example, the decoding apparatus may derive transform coefficients of the transform skip block based on the residual information, and may derive residual samples of the transform skip block based on the transform coefficients.

For example, the decoding apparatus may derive transform coefficients of the transform skip block based on syntax elements of the residual information. Thereafter, the decoding apparatus may derive residual samples of the transform skip block based on the transform coefficients. For example, when it is derived that transform is not applied to the transform skip block based on the transform skip flag, that is, when the value of the transform skip flag is 1, the decoding apparatus may derive the transform coefficients as the residual samples of the transform skip block. Alternatively, for example, when being derived without applying transform to the transform skip block based on the transform skip flag, that is, when the value of the transform skip flag is 1, the decoding apparatus may dequantize the transform coefficients to derive the residual samples of the transform skip block. Alternatively, for example, when being derived while applying transform to the block in the current slice based on the transform skip flag, that is, when the value of the transform skip flag for the block is 0, the decoding apparatus may inverse transform the transform coefficients to derive the residual samples of the block. Alternatively, for example, when being derived while applying transform to the block based on the transform skip flag, that is, when the value of the transform skip flag is 0, the decoding apparatus may dequantize the transform coefficients, and inverse transform the dequantized transform coefficients to derive the residual samples of the current block.

Meanwhile, for example, when the sign data hiding is applied to the transform skip block, the sign of the first significant transform coefficient of the current CG in the transform skip block may be derived based on the sum of absolute values of the significant transform coefficients in the current CG. For example, when the sum of the absolute values of the significant transform coefficients is even, the sign of the first significant transform coefficient may be derived as a positive value, while, when the sum of absolute values of the significant transform coefficients is odd, the sign of the first significant transform coefficient may be derived as a negative value.

The decoding apparatus generates a reconstructed picture based on the residual sample (S840). For example, the decoding apparatus may generate a reconstructed sample and/or a reconstructed picture of a transform skip block in the current slice based on the residual sample. For example, the decoding apparatus may derive a prediction sample by performing an inter prediction mode or an intra prediction mode for the transform skip block based on prediction information received through a bitstream, and may generate the reconstructed sample through addition of the prediction sample and the residual sample.

After this, as described above, an in-loop filtering procedure such as an ALF procedure, SAO and/or deblocking filtering may be applied as needed to the reconstructed picture in order to improve subjective/objective video quality.

FIG. 9 briefly illustrates a decoding apparatus for performing an image decoding method according to the present disclosure. The method disclosed in FIG. 8 may be performed by the decoding apparatus disclosed in FIG. 9 . Specifically, for example, the entropy decoder of the decoding apparatus of FIG. 9 may perform S800 to S820 of FIG. 8 ; the residual processor of the decoding apparatus of FIG. 9 may perform S830 of FIG. 8 ; and the adder of the decoding apparatus of FIG. 9 may perform S840 of FIG. 8 . Additionally, although not shown, the process of receiving prediction information for the transform skip block may be performed by an entropy decoder of the decoding apparatus of FIG. 9 , and the process of deriving the prediction sample of the current block may be performed by the predictor of the decoding apparatus of FIG. 9 .

According to this document, as described above, it is possible to improve efficiency of residual coding.

Additionally, according to this document, the TSRC enabled flag can be signaled depending on the sign data hiding enabled flag, and through this, the coding efficiency can be improved by preventing sign data hiding from being used for the transform skip block for which TSRC is not enabled, and the overall residual coding efficiency can be improved by reducing the bit amount to be coded.

Additionally, according to this document, the TSRC enabled flag can be signaled depending on the transform skip enabled flag and the sign data hiding enabled flag, and through this, the coding efficiency can be improved by preventing sign data hiding from being used for the transform skip block for which TSRC is not enabled, and the overall residual coding efficiency can be improved by reducing the bit amount to be coded.

In the above-described embodiment, the methods are described based on the flowchart having a series of steps or blocks. The present disclosure is not limited to the order of the above steps or blocks. Some steps or blocks may occur simultaneously or in a different order from other steps or blocks as described above. Further, those skilled in the art will understand that the steps shown in the above flowchart are not exclusive, that further steps may be included, or that one or more steps in the flowchart may be deleted without affecting the scope of the present disclosure.

The embodiments described in this specification may be performed by being implemented on a processor, a microprocessor, a controller or a chip. For example, the functional units shown in each drawing may be performed by being implemented on a computer, a processor, a microprocessor, a controller or a chip. In this case, information for implementation (e.g., information on instructions) or algorithm may be stored in a digital storage medium.

In addition, the decoding apparatus and the encoding apparatus to which the present disclosure is applied may be included in a multimedia broadcasting transmission/reception apparatus, a mobile communication terminal, a home cinema video apparatus, a digital cinema video apparatus, a surveillance camera, a video chatting apparatus, a real-time communication apparatus such as video communication, a mobile streaming apparatus, a storage medium, a camcorder, a VoD service providing apparatus, an Over the top (OTT) video apparatus, an Internet streaming service providing apparatus, a three-dimensional (3D) video apparatus, a teleconference video apparatus, a transportation user equipment (e.g., vehicle user equipment, an airplane user equipment, a ship user equipment, etc.) and a medical video apparatus and may be used to process video signals and data signals. For example, the Over the top (OTT) video apparatus may include a game console, a blue-ray player, an internet access TV, a home theater system, a smart phone, a tablet PC, a Digital Video Recorder (DVR), and the like.

Furthermore, the processing method to which the present disclosure is applied may be produced in the form of a program that is to be executed by a computer and may be stored in a computer-readable recording medium. Multimedia data having a data structure according to the present disclosure may also be stored in computer-readable recording media. The computer-readable recording media include all types of storage devices in which data readable by a computer system is stored. The computer-readable recording media may include a BD, a Universal Serial Bus (USB), ROM, PROM, EPROM, EEPROM, RAM, CD-ROM, a magnetic tape, a floppy disk, and an optical data storage device, for example. Furthermore, the computer-readable recording media includes media implemented in the form of carrier waves (e.g., transmission through the Internet). In addition, a bit stream generated by the encoding method may be stored in a computer-readable recording medium or may be transmitted over wired/wireless communication networks.

In addition, the embodiments of the present disclosure may be implemented with a computer program product according to program codes, and the program codes may be performed in a computer by the embodiments of the present disclosure. The program codes may be stored on a carrier which is readable by a computer.

FIG. 10 illustrates a structural diagram of a contents streaming system to which the present disclosure is applied.

The content streaming system to which the embodiment(s) of the present disclosure is applied may largely include an encoding server, a streaming server, a web server, a media storage, a user device, and a multimedia input device.

The encoding server compresses content input from multimedia input devices such as a smartphone, a camera, a camcorder, etc. Into digital data to generate a bitstream and transmit the bitstream to the streaming server. As another example, when the multimedia input devices such as smartphones, cameras, camcorders, etc. directly generate a bitstream, the encoding server may be omitted.

The bitstream may be generated by an encoding method or a bitstream generating method to which the embodiment(s) of the present disclosure is applied, and the streaming server may temporarily store the bitstream in the process of transmitting or receiving the bitstream.

The streaming server transmits the multimedia data to the user device based on a user's request through the web server, and the web server serves as a medium for informing the user of a service. When the user requests a desired service from the web server, the web server delivers it to a streaming server, and the streaming server transmits multimedia data to the user. In this case, the content streaming system may include a separate control server. In this case, the control server serves to control a command/response between devices in the content streaming system.

The streaming server may receive content from a media storage and/or an encoding server. For example, when the content is received from the encoding server, the content may be received in real time. In this case, in order to provide a smooth streaming service, the streaming server may store the bitstream for a predetermined time.

Examples of the user device may include a mobile phone, a smartphone, a laptop computer, a digital broadcasting terminal, a personal digital assistant (PDA), a portable multimedia player (PMP), navigation, a slate PC, tablet PCs, ultrabooks, wearable devices (ex. Smartwatches, smart glasses, head mounted displays), digital TVs, desktops computer, digital signage, and the like. Each server in the content streaming system may be operated as a distributed server, in which case data received from each server may be distributed.

The claims described in the present disclosure may be combined in various ways. For example, the technical features of the method claims of the present disclosure may be combined to be implemented as an apparatus, and the technical features of the apparatus claims of the present disclosure may be combined to be implemented as a method. In addition, the technical features of the method claim of the present disclosure and the technical features of the apparatus claim may be combined to be implemented as an apparatus, and the technical features of the method claim of the present disclosure and the technical features of the apparatus claim may be combined to be implemented as a method. 

1-15. (canceled)
 16. An image decoding method performed by a decoding apparatus, the method comprising: obtaining a sign data hiding enabled flag for whether sign data hiding is enabled; obtaining a Transform Skip Residual Coding (TSRC) disabled flag for whether TSRC is used for a transform skip block in a current slice; obtaining residual coding information for the transform skip block based on the TSRC disabled flag; deriving a residual sample for the transform skip block based on the residual coding information; and generating a reconstructed picture based on the residual sample, wherein the TSRC disabled flag is obtained based on the sign data hiding enabled flag.
 17. The method of claim 16, wherein the sign data hiding enabled flag equal to 1 represents that the sign data hiding is enabled, and wherein the sign data hiding enabled flag equal to 0 represents that the sign data hiding is not enabled.
 18. The method of claim 17, wherein, in response to a value of the sign data hiding enabled flag being equal to 1, a sign of a first significant transform coefficient of a current coefficient group (CG) in the transform skip block is derived based on a sum of absolute values of significant transform coefficients in the current CG.
 19. The method of claim 18, wherein, in response to the value of the sign data hiding enabled flag being equal to 1, a sign flag for the first significant transform coefficient is not signaled.
 20. The method of claim 17, wherein the TSRC disabled flag is obtained from a bitstream in response to a value of the sign data hiding enabled flag being equal to
 0. 21. The method of claim 20, wherein, in response to the value of the sign data hiding enabled flag being equal to 1, the TSRC disabled flag is not obtained from the bitstream, and a value of the TSRC disabled flag is derived as
 0. 22. The method of claim 16, further comprising obtaining a transform skip enabled flag for whether transform skip is enabled, wherein the TSRC disabled flag is obtained based on the sign data hiding enabled flag and the transform skip enabled flag.
 23. The method of claim 22, wherein the TSRC disabled flag is obtained from a bitstream in response to a value of the sign data hiding enabled flag being equal to 0 and a value of the transform skip enabled flag being equal to
 1. 24. The method of claim 23, wherein, in response to the value of the sign data hiding enabled flag being equal to 1 or the value of the transform skip enabled flag being equal to 0, the TSRC disabled flag is not obtained from the bitstream, and a value of the TSRC disabled flag is derived as
 0. 25. An image encoding method performed by an encoding apparatus, the method comprising: encoding a sign data hiding enabled flag for whether sign data hiding is enabled; encoding, based on the sign data hiding enabled flag, a Transform Skip Residual Coding (TSRC) disabled flag for whether TSRC is used for a transform skip block in a current slice; encoding residual information for the transform skip block based on the TSRC disabled flag; and generating a bitstream including the sign data hiding enabled flag, the TSRC disabled flag, and the residual information.
 26. The method of claim 25, wherein the sign data hiding enabled flag equal to is 1 represents that the sign data hiding is enabled, and wherein the sign data hiding enabled flag equal to 0 represents that the sign data hiding is not enabled.
 27. The method of claim 26, wherein the TSRC disabled flag is encoded into the bitstream in response to a value of the sign data hiding enabled flag being equal to
 0. 28. The method of claim 27, wherein the TSRC disabled flag is not encoded into the bitstream in response to the value of the sign data hiding enabled flag being equal to
 1. 29. The method of claim 25, further comprising encoding a transform skip enabled flag for whether transform skip is enabled, wherein the TSRC disabled flag is encoded into the bitstream based on the sign data hiding enabled flag and the transform skip enabled flag.
 30. A non-transitory computer-readable storage medium for storing a bitstream generated by an image encoding method, the image encoding method comprising: encoding a sign data hiding enabled flag for whether sign data hiding is enabled; encoding, based on the sign data hiding enabled flag, a Transform Skip Residual Coding (TSRC) disabled flag for whether TSRC is used for a transform skip block in a current slice; and encoding residual information for the transform skip block based on the TSRC disabled flag, wherein the bitstream includes the sign data hiding enabled flag, the TSRC disabled flag, and the residual information.
 31. A method for transmitting data for image information comprising: encoding a sign data hiding enabled flag for whether sign data hiding is enabled; encoding, based on the sign data hiding enabled flag, a Transform Skip Residual Coding (TSRC) disabled flag for whether TSRC is used for a transform skip block in a current slice; encoding residual information for the transform skip block based on the TSRC disabled flag; generating a bitstream including the sign data hiding enabled flag, the TSRC disabled flag, and the residual information; and transmitting the data including the bitstream. 